{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T02:08:04Z","timestamp":1748657284288,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.2004.1281742","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"178-186","source":"Crossref","is-referenced-by-count":16,"title":["Specification test coverage adequacy criteria = specification test generation in adequacy criteria?"],"prefix":"10.1109","author":[{"given":"M.P.E.","family":"Heimdahl","sequence":"first","affiliation":[]},{"given":"D.","family":"George","sequence":"additional","affiliation":[]},{"given":"R.","family":"Weber","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"A practical tutorial on modified condition\/decision coverage","author":"hayhurst","year":"2001","journal-title":"Tech Rep NASA\/TM-200–210616"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24617-6_4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201203"},{"key":"ref13","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":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"},{"journal-title":"NuSMV A New Symbolic Model Checking","year":"0","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922409"},{"journal-title":"RTCA Software Considerations in Airborne Systems and Equipment Certification","year":"1992","key":"ref17"},{"key":"ref18","article-title":"What is a “decision” in application of modified condition\/decision coverage and decision coverage (dc)?","author":"team","year":"2002","journal-title":"Technical Report Position Paper"},{"key":"ref19","first-page":"163","article-title":"Specification based prototyping for embedded systems","author":"thompson","year":"1999","journal-title":"Proceedings of the Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering"},{"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\/ICFEM.1998.730569"},{"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":"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":"ref7","first-page":"384","article-title":"Test generation for intelligent networks using model checking","author":"engels","year":"1997","journal-title":"Proc TACAS 97"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809499"},{"journal-title":"Proceedings of The First International Workshop on Automated Program Analysis Testing and Verificaiton ICSE 2000","year":"2000","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref20","first-page":"731","article-title":"Requirements capture and evaluation in Nimbus: The light-control case study","volume":"6","author":"thompson","year":"2000","journal-title":"Journal of Universal Computer Science"}],"event":{"name":"Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004.","location":"Tampa, FL, USA"},"container-title":["Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9019\/28627\/01281742.pdf?arnumber=1281742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:56:29Z","timestamp":1497585389000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1281742\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/hase.2004.1281742","relation":{},"subject":[]}}