{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:18:28Z","timestamp":1745986708942,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642361760"},{"type":"electronic","value":"9783642361777"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36177-7_12","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T06:25:26Z","timestamp":1357107926000},"page":"181-196","source":"Crossref","is-referenced-by-count":0,"title":["Automated System Testing of Dynamic Web Applications"],"prefix":"10.1007","author":[{"given":"Hideo","family":"Tanida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mukul R.","family":"Prasad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sreeranga P.","family":"Rajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44585-4_31","volume-title":"Computer Aided Verification","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L.: Model Checking the World Wide Web. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 337\u2013349. Springer, Heidelberg (2001)"},{"key":"12_CR2","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":"12_CR3","unstructured":"Benedikt, M., Freire, J., Godefroid, P.: VeriWeb: Automatically Testing Dynamic Web Sites. In: Proceedings of 11th International World Wide Web Conference (2002)"},{"key":"12_CR4","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (1999)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/302405.302672","volume-title":"ICSE 1999: Proceedings of the 21st International Conference on Software Engineering","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: ICSE 1999: Proceedings of the 21st International Conference on Software Engineering, pp. 411\u2013420. ACM, New York (1999)"},{"issue":"4","key":"12_CR6","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/52.391832","volume":"12","author":"B. Kitchenham","year":"1995","unstructured":"Kitchenham, B., Pickard, L., Pfleeger, S.L.: Case Studies for Method and Tool Evaluation. IEEE Softw.\u00a012(4), 52\u201362 (1995)","journal-title":"IEEE Softw."},{"issue":"6","key":"12_CR7","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s10009-008-0086-x","volume":"10","author":"A. Marchetto","year":"2008","unstructured":"Marchetto, A., Ricca, F., Tonella, P.: A Case-Study Based Comparison of Web Testing Techniques Applied to AJAX Web Applications. International Journal on Software Tools for Technology Transfer (STTT)\u00a010(6), 477\u2013492 (2008)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/ICST.2008.22","volume-title":"ICST 2008: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation","author":"A. Marchetto","year":"2008","unstructured":"Marchetto, A., Tonella, P., Ricca, F.: State-Based Testing of Ajax Web Applications. In: ICST 2008: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation, pp. 121\u2013130. IEEE Computer Society, Washington, DC (2008)"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/ICWE.2008.24","volume-title":"ICWE 2008: Proceedings of the 2008 Eighth International Conference on Web Engineering","author":"A. Mesbah","year":"2008","unstructured":"Mesbah, A., Bozdag, E., Deursen, A.V.: Crawling AJAX by Inferring User Interface State Changes. In: ICWE 2008: Proceedings of the 2008 Eighth International Conference on Web Engineering, pp. 122\u2013134. IEEE Computer Society, Washington, DC (2008)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Mesbah, A., Deursen, A.V.: Invariant-Based Automatic Testing of AJAX User Interfaces. In: Proceedings of the 31st International Conference on Software Engineering, ICSE 2009 (May 2009)","DOI":"10.1109\/ICSE.2009.5070522"},{"key":"12_CR11","unstructured":"NuSMV, http:\/\/nusmv.irst.itc.it\/"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Ricca, F., Tonella, P.: Analysis and Testing of Web Applications. In: Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, pp. 25\u201334. IEEE Computer Society (2001)","DOI":"10.1109\/ICSE.2001.919078"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Strecker, J., Memon, A.M.: Testing Graphical User Interfaces. In: Encyclopedia of Information Science and Technology, 2nd edn. IGI Global (2009)","DOI":"10.4018\/978-1-60566-026-4.ch596"},{"key":"12_CR14","unstructured":"Zammetti, F.: Practical Ajax Projects with Java Technology. Apress (2006)"}],"container-title":["Communications in Computer and Information Science","Software and Data Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36177-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:33:55Z","timestamp":1745940835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36177-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642361760","9783642361777"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36177-7_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}