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