@article(Andrews:2005,
 author       = {Anneliese A. Andrews and Jeff Offutt and Roger T. Alexander},
 year         = {2005},
 title        = {Testing Web applications by modeling with FSMs},
 journal      = {Software \& Systems Modeling},
 volume       = {4},
 number       = {3},
 pages        = {326--345},
 doi          = {10.1007/s10270-004-0077-7},
)
@article(artzi10,
 author       = {S. Artzi and A. Kie\.{z}un and J. Dolby and F. Tip and D. Dig and A. Paradkar and M. D. Ernst},
 year         = {2010},
 title        = {Finding bugs in web applications using dynamic test generation and explicit-state model checking},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {36},
 number       = {4},
 pages        = {474--494},
 doi          = {10.1109/TSE.2010.31},
)
@inproceedings(Artzi:2011,
 author       = {Shay Artzi and Julian Dolby and Simon Holm Jensen and M{\o}ller, Anders and Frank Tip},
 year         = {2011},
 title        = {A Framework for Automated Testing of Javascript Web Applications},
 booktitle    = {the 33rd ICSE},
 publisher    = {ACM},
 pages        = {571--580},
 doi          = {10.1145/1985793.1985871},
)
@article(Lucca:2006,
 author       = {Di Lucca, Giuseppe A. and Anna Rita Fasolino},
 year         = {2006},
 title        = {Testing Web-based Applications: The State of the Art and Future Trends},
 journal      = {Information and Software Technology},
 volume       = {48},
 number       = {12},
 pages        = {1172--1186},
 doi          = {10.1016/j.infsof.2006.06.006},
)
@inproceedings(GuoQSIC:2014,
 author       = {Hai-Feng Guo and Liang Cao and Yushu Song and Zongyan Qiu},
 year         = {2014},
 title        = {Automated Test Oracle Generation via Denotational Semantics},
 booktitle    = {14th International Conference on Quality Software (QSIC)},
 pages        = {139--144},
 doi          = {10.1109/QSIC.2014.38},
)
@article(Guo:2013spe,
 author       = {Hai-Feng Guo and Zongyan Qiu},
 year         = {2014},
 title        = {A dynamic stochastic model for automatic grammar-based test generation},
 journal      = {Software: Practice and Experience},
 doi          = {10.1002/spe.2278},
)
@article(Hoffman:2011,
 author       = {Daniel Malcolm Hoffman and Ly-Gagnon, David and Paul Strooper and Hong-Yi Wang},
 year         = {2011},
 title        = {Grammar-based test generation with YouGen},
 journal      = {Software Practice and Experience},
 volume       = {41},
 number       = {4},
 pages        = {427--447},
 doi          = {10.1002/spe.1017},
)
@misc(TAO2015,
 author       = {UNO LASER Lab},
 year         = {2014},
 title        = {TAO online},
 url          = {http://laser.ist.unomaha.edu/tao_home/},
)
@inproceedings(Lammel:2006,
 author       = {Ralf L\"{a}mmel and Wolfram Schulte},
 year         = {2006},
 title        = {Controllable combinatorial coverage in grammar-based testing},
 booktitle    = {International conference on Testing of Communicating Systems},
 pages        = {19--38},
 doi          = {10.1007/11754008\_2},
)
@inproceedings(Mesbash:2009,
 author       = {A. Mesbah and A. van Deursen},
 year         = {2009},
 title        = {Invariant-based automatic testing of AJAX user interfaces},
 booktitle    = {31st Int. Conf. on Software Engineering},
 doi          = {10.1109/ICSE.2009.5070522},
)
@book(Milne:1976,
 author       = {R. Milne and C. Strachey},
 year         = {1976},
 title        = {A Theory of Programming Language Semantics},
 publisher    = {Chapman and Hall, London},
)
@inproceedings(Misherghi2006,
 author       = {Ghassan Misherghi and Zhendong Su},
 year         = {2006},
 title        = {HDD: Hierarchical Delta Debugging},
 booktitle    = {Proceedings of the 28th International Conference on Software Engineering},
 series       = {ICSE '06},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {142--151},
 doi          = {10.1145/1134285.1134307},
)
@misc(SahiPro,
 author       = {Sahi Pro},
 title        = {A Web Test Automation Tool},
 howpublished = {http://sahipro.com/},
)
@article(Sampath:2007,
 author       = {Sreedevi Sampath and Sara Sprenkle and Emily Gibson and Lori Pollock},
 year         = {2007},
 title        = {Applying concept analysis to user-session-based testing of web applications},
 journal      = {IEEE TRANSACTIONS ON SOFTWARE ENGINEERING},
 volume       = {33},
 number       = {10},
 pages        = {643--658},
 doi          = {10.1109/TSE.2007.70723},
)
@inproceedings(Saxena:2010,
 author       = {P. Saxena and D. Akhawe and S. Hanna and S. McCamant and D. Song and  and F. Mao},
 year         = {2010},
 title        = {A symbolic execution framework for JavaScript},
 booktitle    = {31st IEEE Symp. on Security and Privacy},
 doi          = {10.1109/SP.2010.38},
)
@book(Schmidt:1986,
 author       = {David A. Schmidt},
 year         = {1986},
 title        = {Denotational Semantics: A Methodology for Language Development},
 publisher    = {Wm. C. Brown Publishers},
)
@misc(Scott:1970,
 author       = {Dana Scott and Christopher Strachey},
 year         = {1971},
 title        = {Toward a mathematical semantics for computer languages},
 howpublished = {Oxford Programming Research Group Technical Monograph, PRG-6},
)
@misc(Selenium,
 author       = {Selenium},
 title        = {Selenium Browser Automation},
 howpublished = {http://www.seleniumhq.org/},
 note         = {Accessed: 2012-08-30},
)
@inproceedings(Sirer:1999,
 author       = {Emin G\"{u}n Sirer and Brian N. Bershad},
 year         = {1999},
 title        = {Using production grammars in software testing},
 booktitle    = {the 2nd conference on Domain-specific languages},
 pages        = {1--13},
 doi          = {10.1145/331960.331965},
)
@book(Stout:2001,
 author       = {A. Stout},
 year         = {2001},
 title        = {Testing a Website: Best Practices},
 publisher    = {The Revere Group},
)
@misc(Watir,
 author       = {Watir},
 title        = {Web Application Testing in Ruby},
 howpublished = {http://watir.com/},
)
@article(Zeller:2002,
 author       = {Andreas Zeller and Ralf Hildebrandt},
 year         = {2002},
 title        = {Simplifying and Isolating Failure-inducing Input},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {28},
 number       = {2},
 pages        = {183--200},
 doi          = {10.1109/32.988498},
)