{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:06:53Z","timestamp":1729624013252,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/iceccs.2007.30","type":"proceedings-article","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T21:31:49Z","timestamp":1187731909000},"page":"47-55","source":"Crossref","is-referenced-by-count":14,"title":["Model Checking-based Verification of Web Application"],"prefix":"10.1109","author":[{"given":"Huaikou","family":"Miao","sequence":"first","affiliation":[]},{"given":"Hongwei","family":"Zeng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0077-7"},{"key":"ref11","first-page":"111","article-title":"An Object-Oriented Web Test Model for Testing Web Applications","author":"kung","year":"2000","journal-title":"Proceedings of the 1st Asia-Pacific Conference on Web Applications(APAQS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ENABL.2001.953386"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11506843_18"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.034"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016593309733"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1020549507418","article-title":"Testing processes of web applications","volume":"14","author":"tonella","year":"2002","journal-title":"Annals of Software Engineering"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919078"},{"key":"ref18","first-page":"53","article-title":"Automatic conformance testing of internet applications","author":"van beek","year":"2003","journal-title":"Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003)"},{"key":"ref19","first-page":"67","article-title":"A Characterization of UML Diagrams and their Consistency","author":"li","year":"2006","journal-title":"Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) IEEE Computer Society"},{"key":"ref4","first-page":"42","article-title":"Auto-generating Test Sequences Using Model Checkers: A Case Study","author":"heimdahl","year":"2003","journal-title":"Third Internat Workshop on Formal Approaches to Soft Testing (FATES)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref6","first-page":"15","article-title":"Automatic Test Generation from Statecharts Using Model Checking","author":"hong","year":"2001","journal-title":"Proceedings of the Workshop on Formal Approaches to Testing of Software (FATES'01)"},{"key":"ref5","first-page":"146","article-title":"Using Model Checking to Generate Tests from Requirements Specifications","author":"gargantini","year":"1999","journal-title":"Proceedings of Joint 7th European Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE99)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30182-0_91"},{"key":"ref7","first-page":"232","article-title":"Data flow testing as model checking","author":"hong","year":"2003","journal-title":"Proceedings of 25th International Conference on Software Engineering IEEE Computer Society"},{"journal-title":"The SMV System for SMV Version 2 5 4","year":"2006","author":"mcmillan","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"ref9","first-page":"115","article-title":"Formal Verification of Web Applications Modeled by Communicating Automata","author":"haydar","year":"2004","journal-title":"Proceedings of the 24th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/32.935856"}],"event":{"name":"12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)","start":{"date-parts":[[2007,7,11]]},"location":"Auckland, New Zealand","end":{"date-parts":[[2007,7,14]]}},"container-title":["12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4276289\/4276290\/04276301.pdf?arnumber=4276301","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T22:11:54Z","timestamp":1497737514000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4276301\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2007.30","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}