{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:36:56Z","timestamp":1743111416728,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198106"},{"type":"electronic","value":"9783642198113"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19811-3_23","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T09:06:18Z","timestamp":1300093578000},"page":"326-340","source":"Crossref","is-referenced-by-count":0,"title":["Automated Driver Generation for Analysis of Web Applications"],"prefix":"10.1007","author":[{"given":"Oksana","family":"Tkachuk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sreeranga","family":"Rajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/s10270-004-0077-7","volume":"4","author":"A.A. Andrews","year":"2005","unstructured":"Andrews, A.A., Offutt, J., Alexander, R.T.: Testing web applications by modeling with fsms. Software and Systems Modeling\u00a04, 326\u2013345 (2005)","journal-title":"Software and Systems Modeling"},{"key":"23_CR2","unstructured":"Brat, G., Havelund, K., Park, S., Visser, W.: Java PathFinder \u2013 a second generation of a Java model-checker. In: Proceedings of the Workshop on Advances in Verification (July 2000)"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"772","DOI":"10.1145\/1142473.1142584","volume-title":"SIGMOD 2006: Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data","author":"A. Deutsch","year":"2006","unstructured":"Deutsch, A., Sui, L., Vianu, V., Zhou, D.: A system for specification and verification of interactive, data-driven web applications. In: SIGMOD 2006: Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data, pp. 772\u2013774. ACM, New York (2006)"},{"key":"23_CR4","unstructured":"Ghosh, I., Rajan, S., Shannon, D., Khurshid, S.: Efficient symbolic execution of strings for validating web applications. In: Proceedings of the International Workshop on Defects in Large Software Systems (July 2009)"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1145\/1572272.1572305","volume-title":"ISSTA 2009: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis","author":"W.G. Halfond","year":"2009","unstructured":"Halfond, W.G., Anand, S., Orso, A.: Precise interface identification to improve testing and analysis of web applications. In: ISSTA 2009: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, pp. 285\u2013296. ACM, New York (2009)"},{"key":"23_CR6","first-page":"145","volume-title":"ESEC-FSE 2007: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering","author":"W.G.J. Halfond","year":"2007","unstructured":"Halfond, W.G.J., Orso, A.: Improving test case generation for web applications using automated interface discovery. In: ESEC-FSE 2007: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, pp. 145\u2013154. ACM, New York (2007)"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Ettema, T., Bunch, C., Bultan, T.: Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. In: ASE, pp. 235\u2013244 (2010)","DOI":"10.1145\/1858996.1859044"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1109\/ASE.2004.1342778","volume-title":"ASE 2004: Proceedings of the 19th IEEE International Conference on Automated software Engineering","author":"M. Haydar","year":"2004","unstructured":"Haydar, M.: Formal framework for automated analysis and verification of web-based applications. In: ASE 2004: Proceedings of the 19th IEEE International Conference on Automated software Engineering, pp. 410\u2013413. IEEE Computer Society, Washington, DC, USA (2004)"},{"key":"23_CR9","first-page":"350","volume-title":"APSEC 2007: Proceedings of the 14th Asia-Pacific Software Engineering Conference","author":"A. Kubo","year":"2007","unstructured":"Kubo, A., Washizaki, H., Fukazawa, Y.: Automatic extraction and verification of page transitions in a web application. In: APSEC 2007: Proceedings of the 14th Asia-Pacific Software Engineering Conference, pp. 350\u2013357. IEEE Computer Society, Washington, DC, USA (2007)"},{"key":"23_CR10","first-page":"164","volume-title":"Proceedings of the 19th IEEE International Conference on Automated Software Engineering","author":"D.R. Licata","year":"2004","unstructured":"Licata, D.R., Krishnamurthi, S.: Verifying interactive web programs. In: Proceedings of the 19th IEEE International Conference on Automated Software Engineering, pp. 164\u2013173. IEEE Computer Society, Washington, DC, USA (2004)"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1109\/WCRE.2003.1287256","volume-title":"WCRE 2003: Proceedings of the 10th Working Conference on Reverse Engineering","author":"A. Memon","year":"2003","unstructured":"Memon, A., Banerjee, I., Nagarajan, A.: Gui ripping: Reverse engineering of graphical user interfaces for testing. In: WCRE 2003: Proceedings of the 10th Working Conference on Reverse Engineering, p. 260. IEEE Computer Society, Washington, DC, USA (2003)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Rajan, S.P., Tkachuk, O., Prasad, M.R., Ghosh, I., Goel, N., Uehara, T.: Weave: Web applications validation environment. In: ICSE Companion. Software Engineering in Practice, vol.\u00a02, pp. 101\u2013111 (2009)","DOI":"10.1109\/ICSE-COMPANION.2009.5070968"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/ICSE.2001.919078","volume-title":"ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering","author":"F. Ricca","year":"2001","unstructured":"Ricca, F., Tonella, P.: Analysis and testing of web applications. In: ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering, pp. 25\u201334. IEEE Computer Society Press, Washington, DC, USA (2001)"},{"issue":"1","key":"23_CR14","first-page":"66","volume":"1","author":"S. Yuen","year":"2006","unstructured":"Yuen, S., Kato, K., Kato, D., Agusa, K.: Web automata: A behavioral model of web applications based on the mvc model. Information and Media Technologies\u00a01(1), 66\u201379 (2006)","journal-title":"Information and Media Technologies"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19811-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T06:49:47Z","timestamp":1558421387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19811-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198106","9783642198113"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19811-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}