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. Thomas Arts, John Hughes, Joakim Johansson & Ulf Wiger (2006): Testing telecoms software with quviq quickcheck. In: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang. ACM, pp. 2–10, doi:10.1145/1159789.1159792.
  3. David Chelimsky, Dave Astels, Bryan Helmkamp, Dan North, Zach Dennis & Aslak Hellesoy (2010): The RSpec Book: Behaviour Driven Development with Rspec, Cucumber, and Friends (The Facets of Ruby Series). Pragmatic Bookshelf.
  4. Koen Claessen & John Hughes (2011): QuickCheck: a lightweight tool for random testing of Haskell programs. Acm sigplan notices 46(4), pp. 53–64, doi:10.1145/357766.351266.
  5. Alistair Cockburn & Jim Highsmith (2001): Agile software development, the people factor. Computer 34(11), pp. 131–133, doi:10.1109/2.963450.
  6. Ian Dees, Matt Wynne & Aslak Hellesoy (2013): Cucumber Recipes: Automate Anything with BDD Tools and Techniques. Pragmatic Bookshelf.
  7. Juhan Ernits, Rivo Roo, Jonathan Jacky & Margus Veanes (2009): Model-based testing of web applications using NModel. In: Testing of Software and Communication Systems. Springer, pp. 211–216, doi:10.1007/978-3-642-05031-2_14.
  8. Gherkin: Gherkin Wiki. Available at
  9. Hamideh Hajiabadi & Mohsen Kahani (2011): An automated model based approach to test web application using ontology. In: Open Systems (ICOS), 2011 IEEE Conference on. IEEE, pp. 348–353, doi:10.1109/ICOS.2011.6079282.
  10. Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari & Heikki Virtanen (2009): Synthesizing Test Models from Test Cases. In: Hardware and Software: Verification and Testing, LNCS 5394. Springer, pp. 179–193, doi:10.1007/978-3-642-01702-5_18.
  11. Alessandro Marchetto, Paolo Tonella & Filippo Ricca (2008): State-based testing of Ajax web applications. In: Software Testing, Verification, and Validation, 2008 1st International Conference on. IEEE, pp. 121–130, doi:10.1109/ICST.2008.22.
  12. Filippo Ricca & Paolo Tonella (2001): Analysis and testing of web applications. In: Proceedings of the 23rd international conference on Software engineering. IEEE Computer Society, pp. 25–34, doi:10.1109/ICSE.2001.919078.
  13. Selenium: Selenium Project Page. Available at
  14. Specflow: Specflow - Pragmatic BDD for .NET. Available at
  15. Ye Wu & Jeff Offutt (2002): Modeling and testing web-based applications. Technical Report. George Mason University. GMU ISE Technical ISE-TR-02-08.

Comments and questions to:
For website issues: