{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T16:02:53Z","timestamp":1774195373045,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642382291","type":"print"},{"value":"9783642382307","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38230-7_7","type":"book-chapter","created":{"date-parts":[[2013,5,15]],"date-time":"2013-05-15T00:43:30Z","timestamp":1368578610000},"page":"103-117","source":"Crossref","is-referenced-by-count":4,"title":["SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Demarty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabien","family":"Maronnaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Le Breton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Hall\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Alalfi, M.H., Cordy, J.R., Dean, T.R.: Automated reverse engineering of UML sequence diagrams for dynamic web applications. In: 1st International Workshop on Web Testing (WebTest 2010), pp. 1\u20138 (2009)","DOI":"10.1109\/ICSTW.2009.8"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Alalfi, M.H., Cordy, J.R., Dean, T.R.: WAFA: Fine-grained dynamic analysis of web applications. In: WSE, pp. 141\u2013150. IEEE Computer Society (2009)","DOI":"10.1109\/WSE.2009.5631226"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Antoniol, G., Di Penta, M., Zazzara, M.: Understanding web applications through dynamic analysis. In: IWPC, pp. 120\u2013131. IEEE Computer Society (2004)","DOI":"10.1109\/WPC.2004.1311054"},{"key":"7_CR4","unstructured":"Benedikt, M., Freire, J., Godefroid, P.: Veriweb: Automatically testing dynamic web sites. In: World Wide Web Conference Series (2002)"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2006.01.023","volume":"157","author":"D. Castelluccia","year":"2006","unstructured":"Castelluccia, D., Mongiello, M., Ruta, M., Totaro, R.: WAVer: A model checking-based tool to verify web application design. Electr. Notes Theor. Comput. Sci.\u00a0157(1), 61\u201376 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"5","key":"7_CR6","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/TSE.2009.28","volume":"35","author":"B. Cornelissen","year":"2009","unstructured":"Cornelissen, B., Zaidman, A., van Deursen, A., Moonen, L., Koschke, R.: A systematic survey of program comprehension through dynamic analysis. IEEE Trans. Software Eng.\u00a035(5), 684\u2013702 (2009)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Marcus, M., Sui, L., Vianu, V., Zhou, D.: A verifier for interactive, data-driven web applications. In: SIGMOD Conference, pp. 539\u2013550. ACM (2005)","DOI":"10.1145\/1066157.1066219"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Guha, A., Krishnamurthi, S., Jim, T.: Using static analysis for Ajax intrusion detection. In: WWW, pp. 561\u2013570. ACM (2009)","DOI":"10.1145\/1526709.1526785"},{"key":"7_CR9","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. ACM (2010)","DOI":"10.1145\/1858996.1859044"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Licata, D.R., Krishnamurthi, S.: Verifying interactive web programs. In: ASE, pp. 164\u2013173. IEEE Computer Society (2004)","DOI":"10.1109\/ASE.2004.1342734"},{"issue":"1-2","key":"7_CR11","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1002\/smr.281","volume":"16","author":"G.A. Lucca Di","year":"2004","unstructured":"Di Lucca, G.A., Fasolino, A.R., Tramontana, P.: Reverse engineering web applications: the WARE approach. Journal of Software Maintenance\u00a016(1-2), 71\u2013101 (2004)","journal-title":"Journal of Software Maintenance"},{"key":"7_CR12","unstructured":"OWASP. Top ten web application security risks (2010), https:\/\/www.owasp.org\/index.php\/Top10 (retrieved May 19, 2011)"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/93.917970","volume":"8","author":"F. Ricca","year":"2001","unstructured":"Ricca, F., Tonella, P.: Understanding and restructuring web sites with ReWeb. IEEE MultiMedia\u00a08(2), 40\u201351 (2001)","journal-title":"IEEE MultiMedia"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/11531371_12","volume-title":"Web Engineering","author":"E. Sciascio Di","year":"2005","unstructured":"Di Sciascio, E., Donini, F.M., Mongiello, M., Totaro, R., Castelluccia, D.: Design verification of web applications using symbolic model checking. In: Lowe, D.G., Gaedke, M. (eds.) ICWE 2005. LNCS, vol.\u00a03579, pp. 69\u201374. Springer, Heidelberg (2005)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Tonella, P., Ricca, F.: A 2-layer model for the white-box testing of web applications. In: WSE, pp. 11\u201319. IEEE Computer Society (2004)","DOI":"10.1109\/WSE.2004.10012"},{"issue":"1","key":"7_CR16","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","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38230-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T10:05:51Z","timestamp":1746007551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38230-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642382291","9783642382307"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38230-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}