{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T16:02:52Z","timestamp":1774195372891,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642357015","type":"print"},{"value":"9783642357022","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35702-2_5","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T01:48:19Z","timestamp":1357091299000},"page":"55-69","source":"Crossref","is-referenced-by-count":17,"title":["WebMate: Generating Test Cases for Web 2.0"],"prefix":"10.1007","author":[{"given":"Valentin","family":"Dallmeier","sequence":"first","affiliation":[]},{"given":"Martin","family":"Burger","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Orth","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Zeller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Artzi, S., et al.: A framework for automated testing of javascript web applications. In: ICSE, pp. 571\u2013580 (2011)","DOI":"10.1145\/1985793.1985871"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Barnett, M., et al.: The Spec# programming system: Challenges and directions, pp. 144\u2013152 (2008), doi: http:\/\/dx.doi.org\/10.1007\/978-3-540-69149-5_16","DOI":"10.1007\/978-3-540-69149-5_16"},{"key":"5_CR3","unstructured":"Benedikt, M., Freire, J., Godefroid, P.: Veriweb: Automatically testing dynamic web sites. In: Proceedings of 11th International World Wide Web Conference, WWW 2002 (2002)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Choudhary, S.R., Versee, H., Orso, A.: WEBDIFF: Automated identification of cross-browser issues in web applications. In: ICSM, pp. 1\u201310 (2010)","DOI":"10.1109\/ICSM.2010.5609723"},{"key":"5_CR5","unstructured":"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\u201394. ACM Press, London (2007), doi: http:\/\/doi.acm.org\/10.1145\/1273463.1273476 , ISBN: 978-1-59593-734-6"},{"key":"5_CR6","unstructured":"Google Code. Selenium, http:\/\/code.google.com\/p\/selenium\/"},{"key":"5_CR7","unstructured":"Dallmeier, V., et al.: Webmate: A tool for testing web 2.0 applications. In: JsTools (To appear, 2012)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/2001420.2001464","volume-title":"Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA 2011","author":"G. Fraser","year":"2011","unstructured":"Fraser, G., Zeller, A.: Generating parameterized unit tests. In: Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA 2011, pp. 364\u2013374. ACM Press, Toronto (2011), http:\/\/doi.acm.org\/10.1145\/2001420.2001464 , doi:10.1145\/2001420.2001464, ISBN: 978-1-4503-0562-4"},{"key":"5_CR9","unstructured":"Gross, F., Fraser, G., Zeller, A.: Search-Based System Testing: High Coverage, No False Alarms. In: ISSTA (To appear, 2012)"},{"key":"5_CR10","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM\u00a019(7), 385\u2013394 (1976), doi: http:\/\/doi.acm.org\/10.1145\/360248.360252 , ISSN: 0001-0782"},{"key":"5_CR11","first-page":"416","volume-title":"ICSE 2007: Proceedings of the 29th International Conference on Software Engineering","author":"R. Majumdar","year":"2007","unstructured":"Majumdar, R., Sen, K.: Hybrid Concolic Testing. In: ICSE 2007: Proceedings of the 29th International Conference on Software Engineering, pp. 416\u2013426. IEEE Computer Society, Washington, DC (2007), doi: http:\/\/dx.doi.org\/10.1109\/ICSE.2007.41 , ISBN: 0-7695-2828-7"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/ICSE.2009.5070522","volume-title":"ICSE 2009: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering","author":"A. Mesbah","year":"2009","unstructured":"Mesbah, A., van Deursen, A.: Invariant-based automatic testing of AJAX user interfaces. In: ICSE 2009: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, pp. 210\u2013220. IEEE Computer Society, Washington, DC (2009), doi: http:\/\/dx.doi.org\/10.1109\/ICSE.2009.5070522 , ISBN: 978-1-4244-3453-4"},{"key":"5_CR13","unstructured":"NetMarketShare: Desktop browser version market share"},{"key":"5_CR14","unstructured":"Sourceforge. Cobertura, http:\/\/sourceforge.net"}],"container-title":["Lecture Notes in Business Information Processing","Software Quality. Increasing Value in Software and Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35702-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:33:07Z","timestamp":1745940787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35702-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357015","9783642357022"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35702-2_5","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}