References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. UNO LASER Lab (2014): TAO online. Available at http://laser.ist.unomaha.edu/tao_home/.
  9. 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.
  10. 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.
  11. R. Milne & C. Strachey (1976): A Theory of Programming Language Semantics. Chapman and Hall, London.
  12. 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.
  13. Sahi Pro: A Web Test Automation Tool. http://sahipro.com/.
  14. 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.
  15. 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.
  16. David A. Schmidt (1986): Denotational Semantics: A Methodology for Language Development. Wm. C. Brown Publishers.
  17. Dana Scott & Christopher Strachey (1971): Toward a mathematical semantics for computer languages. Oxford Programming Research Group Technical Monograph, PRG-6.
  18. Selenium: Selenium Browser Automation. http://www.seleniumhq.org/. Accessed: 2012-08-30.
  19. 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.
  20. A. Stout (2001): Testing a Website: Best Practices. The Revere Group.
  21. Watir: Web Application Testing in Ruby. http://watir.com/.
  22. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org