{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T03:25:56Z","timestamp":1725420356956},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2004.1342855","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"336-341","source":"Crossref","is-referenced-by-count":0,"title":["Generating regression tests via model checking"],"prefix":"10.1109","author":[{"family":"Lihua Xu","sequence":"first","affiliation":[]},{"given":"M.","family":"Dias","sequence":"additional","affiliation":[]},{"given":"D.","family":"Richardson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2004.1290462"},{"key":"13","article-title":"Automated software testing using model checking","author":"callahan","year":"1996","journal-title":"Proceedings 1996 SPIN Workshop"},{"key":"14","article-title":"Test generation for intelligent networks using model checking","author":"engels","year":"1997","journal-title":"Proc TACSS'97"},{"key":"11","article-title":"Program synthesis from formal requirements specifications using APTS","author":"leonard","year":"0","journal-title":"Higher-Order and Symbolic Computation"},{"key":"12","article-title":"Model checkers in software testing","author":"ammann","year":"2002","journal-title":"National Institute of Standards and Technology"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1109\/ISSRE.1999.809332","article-title":"Regression testing of object-oriented programs","author":"wu","year":"1999","journal-title":"Proceeding of the International Symposium on Software Reliability"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2000.883054"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/226239.226256"},{"key":"10","article-title":"Using model checking to generate tests from requirements specifications","author":"gargantini","year":"1999","journal-title":"Proc Joint 7th Eur Software Engineering Conf and 7th ACM SIGSOFT Intern Symp on Foundations of Software Eng (ESEC\/FSE99)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/32.585502"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730569"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960639"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346033"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.536955"}],"event":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","location":"Hong Kong"},"container-title":["Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9304\/29570\/01342855.pdf?arnumber=1342855","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,19]],"date-time":"2018-12-19T08:07:40Z","timestamp":1545206860000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1342855\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2004.1342855","relation":{},"subject":[]}}