{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:45Z","timestamp":1725488865051},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73597-7_24","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T20:09:58Z","timestamp":1186949398000},"page":"301-305","source":"Crossref","is-referenced-by-count":3,"title":["Auto-Generating Test Sequences for Web Applications"],"prefix":"10.1007","author":[{"given":"Hongwei","family":"Zeng","sequence":"first","affiliation":[]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/978-3-540-30232-2_8","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"M. Haydar","year":"2004","unstructured":"Haydar, M., Petrenko, A., Sahraoui, H.: Formal Verification of Web Applications Modeled by Communicating Automata. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 115\u2013132. Springer, Heidelberg (2004)"},{"issue":"2","key":"24_CR2","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2005.07.034","volume":"151","author":"F.M. Donini","year":"2006","unstructured":"Donini, F.M., Mongiello, M., Ruta, M., Totaro, R.: A Model Checking-based Method for Verifying Web Application Design. Electronic Notes in Theoretical Computer Science\u00a0151(2), 19\u201332 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"24_CR3","first-page":"111","volume-title":"APAQS 2000","author":"D.C. Kung","year":"2000","unstructured":"Kung, D.C., Liu, C.H., Hsia, P.: An Object-Oriented Web Test Model for Testing Web Applications. In: APAQS 2000. Proceedings of the 1st Asia-Pacific Conference on Web Applications, pp. 111\u2013120. IEEE Press, New York (2000)"},{"issue":"1","key":"24_CR4","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1020549507418","volume":"14","author":"P. Tonella","year":"2002","unstructured":"Tonella, P., Ricca, F.: Testing processes of web applications. Annals of software engineering\u00a014(1), 93\u2013114 (2002)","journal-title":"Annals of software engineering"},{"issue":"3","key":"24_CR5","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/s10270-004-0077-7","volume":"4","author":"A. Andrews","year":"2005","unstructured":"Andrews, A., Offutt, J., Alexander, R.: Testing Web Applications by Modeling with FSMs. Software Systems and Modeling\u00a04(3), 326\u2013345 (2005)","journal-title":"Software Systems and Modeling"},{"key":"24_CR6","first-page":"146","volume-title":"ESEC\/FSE99","author":"A. Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.L.: Using Model Checking to Generate Tests from Requirements Specifications. In: ESEC\/FSE99. Proceedings of Joint 7th European Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Toulouse, France, pp. 146\u2013162. ACM Press, NewYork (1999)"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-540-24617-6_4","volume-title":"Formal Approaches to Software Testing","author":"M.P.E. Heimdahl","year":"2004","unstructured":"Heimdahl, M.P.E., Rayadurgam, S., Visser, W., Devaraj, G., Gao, J.: Auto-generating Test Sequences Using Model Checkers: A Case Study. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 42\u201359. Springer, Heidelberg (2004)"},{"key":"24_CR8","unstructured":"Hong, H.S., Lee, I., Sokolsky, O., Cha, S.D.: Automatic Test Generation from Statecharts Using Model Checking. In: Proceedings of the 1st International Workshop on Formal Approaches to Testing of Software (FATES \u201901), Aalborg, Denmark, pp. 15\u201330 (August 2001)"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1007\/978-3-540-30182-0_91","volume-title":"Computer and Information Sciences - ISCIS 2004","author":"F. Belli","year":"2004","unstructured":"Belli, F., G\u00fcldali, B.: Software Testing via Model Checking. In: Aykanat, C., Dayar, T., K\u00f6rpeo\u011flu, \u0130. (eds.) ISCIS 2004. LNCS, vol.\u00a03280, pp. 907\u2013916. Springer, Heidelberg (2004)"},{"key":"24_CR10","unstructured":"McMillan, K.L.: The SMV System for SMV version 2.5.4. October (2006), \n                  \n                    http:\/\/www.cs.cmu.edu\/~modelcheck\/smv\/smvmanual.ps"}],"container-title":["Lecture Notes in Computer Science","Web Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73597-7_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:53:19Z","timestamp":1619517199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73597-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735960"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73597-7_24","relation":{},"subject":[]}}