{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:34Z","timestamp":1772532934225,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,21]]},"DOI":"10.1145\/1146238.1146242","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"25-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":82,"title":["Coverage metrics for requirements-based testing"],"prefix":"10.1145","author":[{"given":"Michael W.","family":"Whalen","sequence":"first","affiliation":[{"name":"Rockwell Collins Inc."}]},{"given":"Ajitha","family":"Rajan","sequence":"additional","affiliation":[{"name":"University of Minnesota"}]},{"given":"Mats P.E.","family":"Heimdahl","sequence":"additional","affiliation":[{"name":"University of Minnesota"}]},{"given":"Steven P.","family":"Miller","sequence":"additional","affiliation":[{"name":"Rockwell Collins Inc."}]}],"member":"320","published-online":{"date-parts":[[2006,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/645433.652880"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008779610539"},{"key":"e_1_3_2_1_4_1","volume-title":"Software Testing Techniques","author":"Bezier B.","year":"1990","unstructured":"B. Bezier . Software Testing Techniques , 2 nd Edition. Van Nostrand Reinhold , New York , 1990 .]] B. Bezier. Software Testing Techniques, 2nd Edition. Van Nostrand Reinhold, New York, 1990.]]","edition":"2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/647770.734261"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","first-page":"528","volume-title":"Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"Chockler H.","year":"2031","unstructured":"H. Chockler , O. Kupferman , and M. Y. Vardi . Coverage metrics for temporal logic model checking . In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Lecture Notes in Computer Science 2031 , pages 528 -- 542 . Springer-Verlag , April 2001.]] H. Chockler, O. Kupferman, and M. Y. Vardi. Coverage metrics for temporal logic model checking. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 2031, pages 528--542. Springer-Verlag, April 2001.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39724-3_11"},{"key":"e_1_3_2_1_9_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. Peled . Model Checking . MIT Press , 1999 .]] E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318939"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025217"},{"key":"e_1_3_2_1_15_1","volume-title":"Second International Workshop on Analysis, Testing and Verification","author":"Heimdahl M. P.","year":"2001","unstructured":"M. P. Heimdahl , S. Rayadurgam , and W. Visser . Specification centered testing . In Second International Workshop on Analysis, Testing and Verification , May 2001 .]] M. P. Heimdahl, S. Rayadurgam, and W. Visser. Specification centered testing. In Second International Workshop on Analysis, Testing and Verification, May 2001.]]"},{"issue":"2","key":"e_1_3_2_1_16_1","article-title":"Vacuity detection in temporal model checking","volume":"4","author":"Kupferman O.","year":"2003","unstructured":"O. Kupferman and M. Y. Vardi . Vacuity detection in temporal model checking . Journal on Software Tools for Technology Transfer , 4 ( 2 ), February 2003 .]] O. Kupferman and M. Y. Vardi. Vacuity detection in temporal model checking. Journal on Software Tools for Technology Transfer, 4(2), February 2003.]]","journal-title":"Journal on Software Tools for Technology Transfer"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/211468"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/857174.857305"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734418"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922409"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2003.1270730"},{"key":"e_1_3_2_1_25_1","unstructured":"Reactive Systems Inc. Reactis product description. http:\/\/www.reactive-systems.com\/index.msp.]]  Reactive Systems Inc. Reactis product description. http:\/\/www.reactive-systems.com\/index.msp.]]"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143100"},{"key":"e_1_3_2_1_27_1","unstructured":"RTCA. Software Considerations In Airborne Systems and Equipment Certification. RTCA 1992.]]  RTCA. Software Considerations In Airborne Systems and Equipment Certification. RTCA 1992.]]"},{"key":"e_1_3_2_1_28_1","volume-title":"IEEE Int. Conf. on Information Reuse and Integration (IEEE IRI-2004)","author":"Tan L.","year":"2004","unstructured":"L. Tan , O. Sokolsky , and I. Lee . Specification-based testing with linear temporal logic . In IEEE Int. Conf. on Information Reuse and Integration (IEEE IRI-2004) , November 2004 .]] L. Tan, O. Sokolsky, and I. Lee. Specification-based testing with linear temporal logic. In IEEE Int. Conf. on Information Reuse and Integration (IEEE IRI-2004), November 2004.]]"},{"key":"e_1_3_2_1_29_1","volume-title":"http:\/\/www.esterel-technologies.com\/v2\/ scadeSuiteFor- SafetyCriticalSoftwareDevelopment\/index.html","author":"Technologies E.","year":"2004","unstructured":"E. Technologies . Scade suite product description. http:\/\/www.esterel-technologies.com\/v2\/ scadeSuiteFor- SafetyCriticalSoftwareDevelopment\/index.html , 2004 .]] E. Technologies. Scade suite product description. http:\/\/www.esterel-technologies.com\/v2\/ scadeSuiteFor- SafetyCriticalSoftwareDevelopment\/index.html, 2004.]]"},{"key":"e_1_3_2_1_30_1","volume-title":"A formal semantics for RSML-e. Master's thesis","author":"Whalen M. W.","year":"2000","unstructured":"M. W. Whalen . A formal semantics for RSML-e. Master's thesis , University of Minnesota , May 2000 .]] M. W. Whalen. A formal semantics for RSML-e. Master's thesis, University of Minnesota, May 2000.]]"}],"event":{"name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","location":"Portland Maine USA","acronym":"ISSTA06","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2006 international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1146238.1146242","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T08:29:13Z","timestamp":1673512153000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1146238.1146242"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,21]]},"references-count":27,"alternative-id":["10.1145\/1146238.1146242","10.1145\/1146238"],"URL":"https:\/\/doi.org\/10.1145\/1146238.1146242","relation":{},"subject":[],"published":{"date-parts":[[2006,7,21]]},"assertion":[{"value":"2006-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}