{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T04:26:55Z","timestamp":1744086415883,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336775"},{"type":"electronic","value":"9783642336782"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33678-2_14","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T15:02:42Z","timestamp":1346943762000},"page":"161-172","source":"Crossref","is-referenced-by-count":0,"title":["Extracting EFSMs of Web Applications for Formal Requirements Specification"],"prefix":"10.1007","author":[{"given":"Andrey","family":"Zakonov","sequence":"first","affiliation":[]},{"given":"Anatoly","family":"Shalyto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Holmes, A., Kellogg, M.: Automating Functional Tests Using Selenium. In: AGILE 2006, pp. 270\u2013275 (2006)","DOI":"10.1109\/AGILE.2006.19"},{"key":"14_CR2","unstructured":"Web test automation tool, http:\/\/sahi.co.in\/w\/sahi"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Alalfi, M.H., Cordy, J.R., Dean, T.R.: Modelling methods for web application verification and testing: state of the art. Softw. Test., Verif. Reliab., 265\u2013296 (2009)","DOI":"10.1002\/stvr.401"},{"key":"14_CR4","first-page":"349","volume-title":"Proceedings of the 24th ICSE","author":"A.E. Hassan","year":"2002","unstructured":"Hassan, A.E., Holt, R.C.: Architecture recovery of web applications. In: Proceedings of the 24th ICSE, pp. 349\u2013359. ACM Press, New York (2002)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Antoniol, G., Di Penta, M., Zazzara, M.: Understanding Web Applications through Dynamic Analysis. In: Proceedings of the IWPC 2004, pp. 120\u2013131 (2004)","DOI":"10.1109\/WPC.2004.1311054"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Di Lucca, G.A., Di Penta, M.: Integrating Static and Dynamic Analysis to improve the Comprehension of Existing Web Applications. In: Proceedings 7th IEEE WSE, Washington, DC, USA, pp. 87\u201394 (2005)","DOI":"10.1109\/WSE.2005.8"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Hall, 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 2010, pp. 235\u2013244 (2010)","DOI":"10.1145\/1858996.1859044"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Haydar, M.: Formal Framework for Automated Analysis and Verification of Web-Based Applications. In: ASE 2004, pp. 410\u2013413 (2004)","DOI":"10.1109\/ASE.2004.1342778"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Kubo, A., Washizaki, H., Fukazawa, Y.: Automatic Extraction and Verification of Page Transitions in a Web Application. In: APSEC 2007, pp. 350\u2013357 (2007)","DOI":"10.1109\/APSEC.2007.31"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Marchetto, A., Tonella, P., Ricca, F.: State-Based Testing of Ajax Web Applications. In: ICST 2008, pp. 121\u2013130 (2008)","DOI":"10.1109\/ICST.2008.22"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Zakonov, A., Stepanov, O., Shalyto, A.A.: GA-Based and Design by Contract Approach to Test Generation for EFSMs. In: IEEE EWDTS 2010, pp. 152\u2013155 (2010)","DOI":"10.1109\/EWDTS.2010.5742047"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Huang, Y., Yu, F., Hang, C., Tsai, C., Lee, D.T., Kuo, S.: Verifying Web Applications Using Bounded Model Checking. In: DSN 2004, pp. 199\u2013208 (2004)","DOI":"10.1109\/DSN.2004.1311890"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Homma, K., Izumi, S., Abe, Y., Takahashi, et al.: Using the Model Checker Spin for Web Application Design. In: SAINT 2010, pp. 137\u2013140 (2010)","DOI":"10.1109\/SAINT.2010.73"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Homma, K., Izumi, S., Takahashi, K., Togashi, A., et al.: Modeling Web Applications Design with Automata and Its Verification. In: ISADS 2011, pp. 103\u2013112 (2011)","DOI":"10.1109\/ISADS.2011.108"},{"key":"14_CR15","unstructured":"Document Object Model by the World Wide Web Consortium, http:\/\/www.w3.org\/DOM\/"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Kaufmann, M., Wagner, D. (eds.): Drawing Graphs: Methods and Models, 326 pages. Springer (2001)","DOI":"10.1007\/3-540-44969-8"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33678-2_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T23:26:35Z","timestamp":1744068395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33678-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336775","9783642336782"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33678-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}