{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:27Z","timestamp":1750308747809,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,9,21]],"date-time":"2006-09-21T00:00:00Z","timestamp":1158796800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,21]]},"DOI":"10.1145\/1159733.1159774","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"272-277","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["An industrial case study of structural testing applied to safety-critical embedded software"],"prefix":"10.1145","author":[{"given":"Jing","family":"Guan","sequence":"first","affiliation":[{"name":"George Mason University, Fairfax, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Offutt","sequence":"additional","affiliation":[{"name":"George Mason University, Fairfax, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Ammann","sequence":"additional","affiliation":[{"name":"George Mason University, Fairfax, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,9,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/951952.952378"},{"key":"e_1_3_2_1_2_1","volume-title":"Boeing","author":"Chilenski J.","year":"1997","unstructured":"J. Chilenski and L. A. Richey . Definition for a masking form of modified condition decision coverage (MCDC). Technical report , Boeing , Seattle, WA , 1997 . http:\/\/www.boeing.com\/nosearch\/mcdc\/. J. Chilenski and L. A. Richey. Definition for a masking form of modified condition decision coverage (MCDC). Technical report, Boeing, Seattle, WA, 1997. http:\/\/www.boeing.com\/nosearch\/mcdc\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2000.886883"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234487"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2006.20"},{"key":"e_1_3_2_1_8_1","volume-title":"March","author":"Offutt J.","year":"2003","unstructured":"J. Offutt , S. Liu , A. Abdurazik , and P. Ammann . Generating test data from state-based specifications. Software Testing, Verification, and Reliability, 13(1):25--53 , March 2003 . J. Offutt, S. Liu, A. Abdurazik, and P. Ammann. Generating test data from state-based specifications. Software Testing, Verification, and Reliability, 13(1):25--53, March 2003."},{"key":"e_1_3_2_1_9_1","volume-title":"December","author":"B.","year":"1992","unstructured":"RTCA-DO-178 B. Software considerations in airborne systems and equipment certification , December 1992 . RTCA-DO-178B. Software considerations in airborne systems and equipment certification, December 1992."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647285.723104"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.286420"}],"event":{"name":"ISESE06: ACM-IEEE International Symposium on Empirical Software Engineering 2006","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Rio de Janeiro Brazil","acronym":"ISESE06"},"container-title":["Proceedings of the 2006 ACM\/IEEE international symposium on Empirical software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159733.1159774","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159733.1159774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:18Z","timestamp":1750278138000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159733.1159774"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,21]]},"references-count":11,"alternative-id":["10.1145\/1159733.1159774","10.1145\/1159733"],"URL":"https:\/\/doi.org\/10.1145\/1159733.1159774","relation":{},"subject":[],"published":{"date-parts":[[2006,9,21]]},"assertion":[{"value":"2006-09-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}