{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:39:00Z","timestamp":1725698340231},"reference-count":15,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csmr.2003.1192411","type":"proceedings-article","created":{"date-parts":[[2003,12,8]],"date-time":"2003-12-08T19:31:53Z","timestamp":1070911913000},"page":"63-72","source":"Crossref","is-referenced-by-count":9,"title":["Web applications design and maintenance using symbolic model checking"],"prefix":"10.1109","author":[{"given":"E.","family":"Di Sciascio","sequence":"first","affiliation":[]},{"given":"F.M.","family":"Donini","sequence":"additional","affiliation":[]},{"given":"M.","family":"Mongiello","sequence":"additional","affiliation":[]},{"given":"G.","family":"Piscitelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/267954.267955"},{"journal-title":"The SMV System","year":"1992","author":"mcmillan","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919078"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1145\/568760.568885","article-title":"Web Engineering: Managing the compexity of web systems development","author":"ginige","year":"2002","journal-title":"Proceedings of the Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'02)"},{"journal-title":"Logic in Computer Science","year":"1999","author":"huth","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/317665.317677"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"2"},{"key":"1","first-page":"495","article-title":"NUSMV: A new symbolic model verifier","author":"cimatti","year":"1999","journal-title":"Number 1633 in Lecture Notes in Computer Science"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/290593.290605"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2001.914977"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2002.1045051"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1145\/568760.568886","article-title":"Web site auting: First step towards re-engineering","author":"deshpande","year":"2002","journal-title":"Proceedings of the Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'02)"},{"key":"4","first-page":"77","article-title":"Model checking the World Wide Web","author":"de alfaro","year":"2001","journal-title":"Proceedings of the 13th International Conference on Computer Aided Verification (CAV'01)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1145\/568760.568866","article-title":"AnWeb: A system for automatic support to web application verification","author":"di sciascio","year":"2002","journal-title":"Proceedings of the Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'02)"}],"event":{"name":"Seventh European Conference on Software Maintenance and Reengineering","acronym":"CSMT-03","location":"Benevento, Italy"},"container-title":["Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8481\/26736\/01192411.pdf?arnumber=1192411","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T16:25:30Z","timestamp":1704990330000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1192411\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/csmr.2003.1192411","relation":{},"subject":[]}}