{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:10:32Z","timestamp":1725567032778},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540279969"},{"type":"electronic","value":"9783540314844"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11531371_12","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T05:28:02Z","timestamp":1285651682000},"page":"69-74","source":"Crossref","is-referenced-by-count":14,"title":["Design Verification of Web Applications Using Symbolic Model Checking"],"prefix":"10.1007","author":[{"given":"Eugenio","family":"Di Sciascio","sequence":"first","affiliation":[]},{"given":"Francesco M.","family":"Donini","sequence":"additional","affiliation":[]},{"given":"Marina","family":"Mongiello","sequence":"additional","affiliation":[]},{"given":"Rodolfo","family":"Totaro","sequence":"additional","affiliation":[]},{"given":"Daniela","family":"Castelluccia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Clarke, E.M., Grumberg, O.M., Peled, D.A.: Model Checking (1999)"},{"key":"12_CR2","unstructured":"Conallen, J.: Building Web applications with UML (2002)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"de Alfaro, L.: Model checking the World Wide Web, pp. 77\u201385 (2001)","DOI":"10.1007\/3-540-44585-4_31"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Di Lucca, G., Di Penta, M.: An approach to identify duplicated web pages. In: 26th Annual International Computer Software and Applications Conference, Oxford, England, pp. 481\u2013486 (2002)","DOI":"10.1109\/CMPSAC.2002.1045051"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Di Penta, M., Antoniol, G., Casazza, G., Merlo, E.: Modeling web maintenance centers through queue models. In: Fifth European Conference on Software Maintenance and Reengineering, Lisbon, Portugal, pp. 131\u2013139 (2001)","DOI":"10.1109\/CSMR.2001.914977"},{"issue":"1","key":"12_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/151480.151483","volume":"11","author":"D. Schwabe","year":"1993","unstructured":"Schwabe, D., Garzotto, F., Paolini, P.: Hdm - a model-based approach to hypertext application design. ACM TOIS\u00a011(1), 1\u201326 (1993)","journal-title":"ACM TOIS"},{"issue":"1","key":"12_CR7","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":"12_CR8","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/331499.331502","volume":"31","author":"P. Fraternali","year":"1999","unstructured":"Fraternali, P.: Tools and approaches for developing data-intensive web applications: a survey. ACM Computing Survey\u00a031(3), 227\u2013263 (1999)","journal-title":"ACM Computing Survey"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Kang, J., Levy, A.Y., Fernandez, M.F., Florescu, D., Suciu, D.: Catching the boat with strudel: experiences with a web-site management system. In: ACM - SIGMOD, pp. 414\u2013425 (1998)","DOI":"10.1145\/276305.276341"},{"key":"12_CR10","unstructured":"McMillan, K.L.: The SMV system (February 1992), http:\/\/www.cs.cmu.edu\/modelcheck\/smv\/smvmanual.r2.2.ps"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/BFb0101001","volume-title":"Advances in Database Technology - EDBT \u201998","author":"G. Mecca","year":"1998","unstructured":"Mecca, G., Atzeni, P., Meriado, P.: Design and maintenance of data-intensive web sites. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol.\u00a01377, pp. 436\u2013450. Springer, Heidelberg (1998)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Di Sciascio, E.: Anweb: a system for automatic support to web application verification. In: Proc. of SEKE 2002, July 2002, pp. 609\u2013616 (2002)","DOI":"10.1145\/568760.568866"},{"key":"12_CR13","first-page":"63","volume-title":"Proc. of CSMR 2003","author":"E. Sciascio Di","year":"2003","unstructured":"Di Sciascio, E., Donini, F.M., Mongiello, M., Piscitelli, G.: Web Applications Design and Maintenance using Symbolic Model Checking. In: Proc. of CSMR 2003, Benevento, Italy, March 26-28, pp. 63\u201372. IEEE, Los Alamitos (2003)"},{"issue":"1","key":"12_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/267954.267955","volume":"16","author":"P.D. Stotts","year":"1998","unstructured":"Stotts, P.D., Furuta, J.C.: Hyperdocuments as automata: verification of trace-based browsing properties by model checking. TOIS\u00a016(1), 1\u201330 (1998)","journal-title":"TOIS"},{"issue":"8","key":"12_CR15","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/208344.208346","volume":"38","author":"E. Stohr","year":"1995","unstructured":"Stohr, E., Isakowitz, T., Balasubramanian, P.: Rmm: a methodology for structured hypermedia design. Comm. ACM\u00a038(8), 34\u201344 (1995)","journal-title":"Comm. ACM"}],"container-title":["Lecture Notes in Computer Science","Web Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11531371_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T03:27:33Z","timestamp":1559705253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11531371_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540279969","9783540314844"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11531371_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}