{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:28:16Z","timestamp":1729639696401,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sew.2003.1270730","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T20:05:44Z","timestamp":1089317144000},"page":"91-96","source":"Crossref","is-referenced-by-count":18,"title":["Generating MC\/DC adequate test sequences through model checking"],"prefix":"10.1109","author":[{"given":"S.","family":"Rayadurgam","sequence":"first","affiliation":[]},{"given":"M.P.E.","family":"Heimdahl","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1995.521891"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46002-0_23","article-title":"A temporal logic based theory of test coverage and generation","author":"hong","year":"2002","journal-title":"Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS '02)"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1109\/ICECCS.1999.802856","article-title":"Criteria for generating specification-based tests","author":"offutt","year":"1999","journal-title":"Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '99)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922409"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2001.966804"},{"journal-title":"Software Considerations in Airborne Systems and Equipment Certification","year":"1992","key":"ref15"},{"key":"ref4","article-title":"Specification-based testing using model checking","author":"callahan","year":"1996","journal-title":"Proceedings of the SPIN Workshop"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2000.886880"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/318774.318939","article-title":"Using model checking to generate tests from requirements specifications","volume":"24","author":"gargantini","year":"1999","journal-title":"Software Engineering Notes"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"ref1","article-title":"Model checkers in software testing","author":"ammann","year":"2002","journal-title":"Technical Report NIST-IR 6777"},{"key":"ref9","article-title":"Auto-generating test sequences using model checkers: A case study","author":"heimdahl","year":"2003","journal-title":"Proceedings of the International Workshop on Formal Approaches to Testing of Software"}],"event":{"name":"28th Annual NASA Goddard Software Engineering Workshop, 2003.","location":"Greenbelt, Maryland, USA"},"container-title":["28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8966\/28448\/01270730.pdf?arnumber=1270730","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T08:40:12Z","timestamp":1497602412000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1270730\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/sew.2003.1270730","relation":{},"subject":[]}}