{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:51Z","timestamp":1750306491831,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,9,28]],"date-time":"2015-09-28T00:00:00Z","timestamp":1443398400000},"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":[[2015,9,28]]},"DOI":"10.1145\/2811681.2811696","type":"proceedings-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T20:49:20Z","timestamp":1446756560000},"page":"74-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["MC\/DC Test Case Generation Approaches for Decisions"],"prefix":"10.1145","author":[{"given":"Sekou","family":"Kangoye","sequence":"first","affiliation":[{"name":"Valeo Comfort and Driving Assistance, 76, rue Auguste Perret, 94000-Creteil, France"}]},{"given":"Alexis","family":"Todoskoff","sequence":"additional","affiliation":[{"name":"University of Angers\/LARIS, 62 Av. Notre Dame du Lac, 49000-Angers, France"}]},{"given":"Mihaela","family":"BARREAU","sequence":"additional","affiliation":[{"name":"University of Angers\/LARIS, 62 Av. Notre Dame du Lac, 49000-Angers, France"}]},{"given":"Philippe","family":"GERMANICUS","sequence":"additional","affiliation":[{"name":"Valeo Comfort and Driving Assistance 76, rue Auguste Perret 94000-Creteil, France"}]}],"member":"320","published-online":{"date-parts":[[2015,9,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"K. J. Hayhurst D. S. Veerhusen J. J. Chilenski and L. K. Rierson A Practical Tutorial on Modified Condition \/ Decision Coverage no. May. 2001. K. J. Hayhurst D. S. Veerhusen J. J. Chilenski and L. K. Rierson A Practical Tutorial on Modified Condition \/ Decision Coverage no. May. 2001."},{"key":"e_1_3_2_1_2_1","unstructured":"\"ISO 26262-6:2011 Road vehicles --- Functional safety --- Part 6: Product development at the software level.\" \"ISO 26262-6:2011 Road vehicles --- Functional safety --- Part 6: Product development at the software level.\""},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"T. K. Ferrell and U. D. Ferrell \"Rtca do-178b\/eurocae ed-12b \" Development 2001. T. K. Ferrell and U. D. Ferrell \"Rtca do-178b\/eurocae ed-12b \" Development 2001.","DOI":"10.1201\/9781420036879.ch27"},{"key":"e_1_3_2_1_4_1","first-page":"2013","volume-title":"Icmv","author":"Wang J.","year":"2012"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.44"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"A. A. M de M. B. J and M. H. C \"Automatic generation of test cases for critical systems based on MC\/DC criteria \" 2013 IEEE\/AIAA 32nd Digital Avionics Systems Conference (DASC). p. 7C5 2013. A. A. M de M. B. J and M. H. C \"Automatic generation of test cases for critical systems based on MC\/DC criteria \" 2013 IEEE\/AIAA 32nd Digital Avionics Systems Conference (DASC). p. 7C5 2013.","DOI":"10.1109\/DASC.2013.6712642"},{"key":"e_1_3_2_1_7_1","first-page":"1","volume-title":"Fifth Int. Conf. Adv. Syst. Test. Valid. Lifecycle, no. c","author":"Bloem R.","year":"2013"},{"volume-title":"Kota Kinabalu","year":"2014","author":"Haque A.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570123"},{"key":"e_1_3_2_1_10_1","first-page":"102","volume-title":"Conf. Softw. Eng.","author":"Whalen M.","year":"2013"},{"key":"e_1_3_2_1_11_1","unstructured":"J. J. Chilenski \"An investigation of three forms of the modified condition decision coverage (MCDC) criterion \" DTIC Document Tech no. April. 2001. J. J. Chilenski \"An investigation of three forms of the modified condition decision coverage (MCDC) criterion \" DTIC Document Tech no. April. 2001."},{"volume-title":"Symp. Softw. Reliab. Eng. 2003. ISSRE 2003.","year":"2003","author":"Ammann P.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","unstructured":"\"Cvc4 Web Page.\" {Online}. Available: http:\/\/cvc4.cs.nyu.edu\/. \"Cvc4 Web Page.\" {Online}. Available: http:\/\/cvc4.cs.nyu.edu\/."}],"event":{"name":"ASWEC ' 15 Vol. II: ASWEC 2015 24th Australasian Software Engineering Conference","sponsor":["Australian Comp Soc Australian Computer Society"],"location":"Adelaide SA Australia","acronym":"ASWEC ' 15 Vol. II"},"container-title":["Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2811681.2811696","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2811681.2811696","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:38Z","timestamp":1750225718000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2811681.2811696"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,28]]},"references-count":13,"alternative-id":["10.1145\/2811681.2811696","10.1145\/2811681"],"URL":"https:\/\/doi.org\/10.1145\/2811681.2811696","relation":{},"subject":[],"published":{"date-parts":[[2015,9,28]]},"assertion":[{"value":"2015-09-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}