@article(ANDREWS:2005:MBTWEB,
 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",
)
@inproceedings(ARTS:2006:QUVIC,
 author       = "Thomas Arts and John Hughes and Joakim Johansson and Ulf Wiger",
 year         = "2006",
 title        = "Testing telecoms software with quviq quickcheck",
 booktitle    = "Proceedings of the 2006 ACM SIGPLAN workshop on Erlang",
 organization = "ACM",
 pages        = "2--10",
 doi          = "10.1145/1159789.1159792",
)
@book(CHELIMSKY:2010:RSPEC,
 author       = "David Chelimsky and Dave Astels and Bryan Helmkamp and Dan North and Zach Dennis and Aslak Hellesoy",
 year         = "2010",
 title        = "The RSpec Book: Behaviour Driven Development with Rspec, Cucumber, and Friends (The Facets of Ruby Series)",
 publisher    = "Pragmatic Bookshelf",
)
@article(CLAESSEN:2011:QUICKCHECK,
 author       = "Koen Claessen and John Hughes",
 year         = "2011",
 title        = "QuickCheck: a lightweight tool for random testing of Haskell programs",
 journal      = "Acm sigplan notices",
 volume       = "46",
 number       = "4",
 pages        = "53--64",
 doi          = "10.1145/357766.351266",
)
@article(COCKBURN:2001:AGILE,
 author       = "Alistair Cockburn and Jim Highsmith",
 year         = "2001",
 title        = "Agile software development, the people factor",
 journal      = "Computer",
 volume       = "34",
 number       = "11",
 pages        = "131--133",
 doi          = "10.1109/2.963450",
)
@book(DEES:2013:CUCUMBER,
 author       = "Ian Dees and Matt Wynne and Aslak Hellesoy",
 year         = "2013",
 title        = "Cucumber Recipes: Automate Anything with BDD Tools and Techniques",
 publisher    = "Pragmatic Bookshelf",
)
@incollection(ERNITS:2009:MBT,
 author       = "Juhan Ernits and Rivo Roo and Jonathan Jacky and Margus Veanes",
 year         = "2009",
 title        = "Model-based testing of web applications using NModel",
 booktitle    = "Testing of Software and Communication Systems",
 publisher    = "Springer",
 pages        = "211--216",
 doi          = "10.1007/978-3-642-05031-2\_14",
)
@misc(GHERKIN,
 author       = "Gherkin",
 title        = "Gherkin Wiki",
 url          = "http://github.com/cucumber/cucumber/wiki/Gherkin",
)
@inproceedings(hajiabadi2011automated,
 author       = "Hamideh Hajiabadi and Mohsen Kahani",
 year         = "2011",
 title        = "An automated model based approach to test web application using ontology",
 booktitle    = "Open Systems (ICOS), 2011 IEEE Conference on",
 organization = "IEEE",
 pages        = "348--353",
 doi          = "10.1109/ICOS.2011.6079282",
)
@incollection(JKK+09synthesizing,
 author       = "Antti J{\" a}{\" a}skel{\" a}inen and Antti Kervinen and Mika Katara and Antti Valmari and Heikki Virtanen",
 year         = "2009",
 title        = "Synthesizing Test Models from Test Cases",
 booktitle    = "Hardware and Software: Verification and Testing",
 series       = "LNCS",
 volume       = "5394",
 publisher    = "Springer",
 pages        = "179--193",
 doi          = "10.1007/978-3-642-01702-5\_18",
)
@inproceedings(MARCHETTO:2008:STATE,
 author       = "Alessandro Marchetto and Paolo Tonella and Filippo Ricca",
 year         = "2008",
 title        = "State-based testing of Ajax web applications",
 booktitle    = "Software Testing, Verification, and Validation, 2008 1st International Conference on",
 organization = "IEEE",
 pages        = "121--130",
 doi          = "10.1109/ICST.2008.22",
)
@inproceedings(ricca2001analysis,
 author       = "Filippo Ricca and Paolo Tonella",
 year         = "2001",
 title        = "Analysis and testing of web applications",
 booktitle    = "Proceedings of the 23rd international conference on Software engineering",
 organization = "IEEE Computer Society",
 pages        = "25--34",
 doi          = "10.1109/ICSE.2001.919078",
)
@misc(SELENIUM,
 author       = "Selenium",
 title        = "Selenium Project Page",
 url          = "http://code.google.com/p/selenium",
)
@misc(SPECFLOW:ONLINE,
 author       = "Specflow",
 title        = "Specflow - Pragmatic BDD for .NET",
 url          = "http://www.specflow.org",
)
@techreport(wu2002modeling,
 author       = "Ye Wu and Jeff Offutt",
 year         = "2002",
 title        = "Modeling and testing web-based applications",
 type         = "Technical Report",
 institution  = "George Mason University",
 note         = "GMU ISE Technical ISE-TR-02-08",
)