{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:59:35Z","timestamp":1761487175134},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/icse.2003.1201203","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"232-242","source":"Crossref","is-referenced-by-count":27,"title":["Data flow testing as model checking"],"prefix":"10.1109","author":[{"family":"Hyoung Seok Hong","sequence":"first","affiliation":[]},{"family":"Sung Deok Cha","sequence":"additional","affiliation":[]},{"family":"Insup Lee","sequence":"additional","affiliation":[]},{"given":"O.","family":"Sokolsky","sequence":"additional","affiliation":[]},{"given":"H.","family":"Ural","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"327","article-title":"A temporal logic based theory of test coverage and generation","author":"hong","year":"2002","journal-title":"TACAS '02 Vol 2280 of LNCS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2"},{"key":"18","first-page":"15","article-title":"Automatic test generation from statecharts using model checking","author":"hong","year":"2001","journal-title":"Proceedings of the First Workshop on Formal Approaches to Testing of Software"},{"key":"15","first-page":"41","article-title":"BDD-based debugging of designs using language containment and fair CTL","author":"hojati","year":"1993","journal-title":"CAV Vol 697 of LNCS"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/75308.75327"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195402"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.6194"},{"key":"12","first-page":"146","article-title":"Using model checking to generate tests from requirements specifications","author":"gargantini","year":"1999","journal-title":"Prc ESEC\/FSE '99"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"20","first-page":"108","article-title":"Test generation derived from model checking","author":"jeron","year":"1999","journal-title":"CAV Vol 1633 of LNCS"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.236871"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010308"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/32.6165"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268950"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90003-8"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/26.81739"},{"key":"3","article-title":"Specification-based testing using model checking","author":"callahan","year":"1996","journal-title":"Proceedings of the 1996 SPIN Workshop"},{"key":"2","first-page":"113","article-title":"Bebop: A symbolic model checker for boolean programs","author":"ball","year":"2000","journal-title":"SPIN Workshop '00 Vol 1885 of LNCS"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49019-1_2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730569"},{"article-title":"IO-df-chains criterion","year":"1993","author":"ural","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/32.41326"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029814"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050044"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.249985"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(99)00227-3"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"9","first-page":"384","article-title":"Test generation for intelligent networks using model checking","author":"engels","year":"1997","journal-title":"Proc TACAS'97 volume 1217 of LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01383878"}],"event":{"name":"25th International Conference on Software Engineering, 2003. Proceedings.","start":{"date-parts":[[2003,5,10]]},"location":"Portland, OR, USA","end":{"date-parts":[[2003,5,10]]}},"container-title":["25th International Conference on Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8548\/27042\/01201203.pdf?arnumber=1201203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T20:53:45Z","timestamp":1489438425000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1201203\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icse.2003.1201203","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}