1. Artzi, S., et al.: A framework for automated testing of javascript web applications. In: ICSE, pp. 571–580 (2011)
2. Barnett, M., et al.: The Spec# programming system: Challenges and directions, pp. 144–152 (2008), doi:
http://dx.doi.org/10.1007/978-3-540-69149-5_16
3. Benedikt, M., Freire, J., Godefroid, P.: Veriweb: Automatically testing dynamic web sites. In: Proceedings of 11th International World Wide Web Conference, WWW 2002 (2002)
4. Choudhary, S.R., Versee, H., Orso, A.: WEBDIFF: Automated identification of cross-browser issues in web applications. In: ICSM, pp. 1–10 (2010)
5. Ciupa, I., et al.: Experimental assessment of random testing for object-oriented software. In: ISSTA 2007: Proceedings of the 2007 International Symposium on Software Testing and Analysis, pp. 84–94. ACM Press, London (2007), doi:
http://doi.acm.org/10.1145/1273463.1273476
, ISBN: 978-1-59593-734-6