{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:40:38Z","timestamp":1764783638451,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":72,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,3,24]],"date-time":"2014-03-24T00:00:00Z","timestamp":1395619200000},"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":[[2014,3,24]]},"DOI":"10.1145\/2554850.2555004","type":"proceedings-article","created":{"date-parts":[[2014,7,22]],"date-time":"2014-07-22T15:08:30Z","timestamp":1406041710000},"page":"1301-1308","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["A systematic literature review on modified condition and decision coverage"],"prefix":"10.1145","author":[{"given":"Tanay Kanti","family":"Paul","sequence":"first","affiliation":[{"name":"Swinburne University of Technology, Hawthorn, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Man Fai","family":"Lau","sequence":"additional","affiliation":[{"name":"Swinburne University of Technology, Hawthorn, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,3,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Inc.","author":"RTCA","year":"1992","unstructured":"RTCA document , Software considerations in airborne systems and equipment certification. Technical report, RTCA\/DO-178B, RTCA , Inc. , Dec 1992 . RTCA document, Software considerations in airborne systems and equipment certification. Technical report, RTCA\/DO-178B, RTCA, Inc., Dec 1992."},{"key":"e_1_3_2_1_2_1","volume-title":"Model checkers in software testing. Technical report","author":"Ammann P.","year":"2002","unstructured":"P. Ammann , P. E. Black , and W. Ding . Model checkers in software testing. Technical report , National Institute of Standards and Tech ., 2002 . P. Ammann, P. E. Black, and W. Ding. Model checkers in software testing. Technical report, National Institute of Standards and Tech., 2002."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"Ammann P.","year":"2008","unstructured":"P. Ammann and J. Offutt . Introduction to Software Testing . Cambridge University Press : U.S.A. , 2008 . P. Ammann and J. Offutt. Introduction to Software Testing. Cambridge University Press: U.S.A., 2008."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.5555\/951952.952378"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.5555\/1806209.1806213"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/1569901.1570123"},{"issue":"1","key":"e_1_3_2_1_7_1","first-page":"337","article-title":"Boolean specification based testing techniques: A survey. ITCS-2012, SIP","volume":"2","author":"Badhera U.","year":"2012","unstructured":"U. Badhera , G. N. Purohit , and S. Taruna . Boolean specification based testing techniques: A survey. ITCS-2012, SIP , JSE , 2 ( 1 ): 337 -- 346 , 2012 . U. Badhera, G. N. Purohit, and S. Taruna. Boolean specification based testing techniques: A survey. ITCS-2012, SIP, JSE, 2(1): 337--346, 2012.","journal-title":"JSE"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/1241572.1241581"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. of the 14th Int. Symp. on Softw. Reli. Eng.","author":"Bishop P. G.","year":"2003","unstructured":"P. G. Bishop . MC\/DC based estimation and detection of residual faults in PLC logic networks . In Proc. of the 14th Int. Symp. on Softw. Reli. Eng. , 2003 . P. G. Bishop. MC\/DC based estimation and detection of residual faults in PLC logic networks. In Proc. of the 14th Int. Symp. on Softw. Reli. Eng., 2003."},{"key":"e_1_3_2_1_10_1","volume-title":"Technical report","author":"Burton S.","year":"1999","unstructured":"S. Burton . Towards automated unit testing of statechart implementations. Technical report , University of York, Dept. of Computer Sci ., Aug 1999 . S. Burton. Towards automated unit testing of statechart implementations. Technical report, University of York, Dept. of Computer Sci., Aug 1999."},{"key":"e_1_3_2_1_11_1","volume-title":"Department of Computer Sci.","author":"Cavalcanti A.","year":"2007","unstructured":"A. Cavalcanti , S. King , C. O'Halloran , and J. Woodcock . A scientific investigation of MC\/DC testing. Technical report , Department of Computer Sci. , University of York , Great Britain , Jan 2007 . A. Cavalcanti, S. King, C. O'Halloran, and J. Woodcock. A scientific investigation of MC\/DC testing. Technical report, Department of Computer Sci., University of York, Great Britain, Jan 2007."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/COMPSAC.2007.44"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/s11219-008-9064-5"},{"key":"e_1_3_2_1_14_1","volume-title":"DOT\/FAA\/AR-01\/18","author":"Chilenski J. J.","year":"2001","unstructured":"J. J. Chilenski . An investigation of three forms of the modified condition decision coverage (MCDC) criterion. Technical report , DOT\/FAA\/AR-01\/18 , Office of Aviation Research , Washington, D.C. , 2001 . J. J. Chilenski. An investigation of three forms of the modified condition decision coverage (MCDC) criterion. Technical report, DOT\/FAA\/AR-01\/18, Office of Aviation Research, Washington, D.C., 2001."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1049\/sej.1994.0025"},{"key":"e_1_3_2_1_16_1","volume-title":"Adacore","author":"Comar C.","year":"2012","unstructured":"C. Comar , J. Guitton , O. Hainque , and T. Quinot . Formalization and comparison of MCDC and object branch coverage criteria. Technical report , Adacore , France , 2012 . C. Comar, J. Guitton, O. Hainque, and T. Quinot. Formalization and comparison of MCDC and object branch coverage criteria. Technical report, Adacore, France, 2012."},{"unstructured":"G. Devaraj M. P. E. Heimdahl and D. Liang. Condition based coverage criteria: To use or not to use that is the question. Technical report 26\/11\/2013 <www-users.cs.umn.edu\/~devaraj\/paper.pdf>.  G. Devaraj M. P. E. Heimdahl and D. Liang. Condition based coverage criteria: To use or not to use that is the question. Technical report 26\/11\/2013 <www-users.cs.umn.edu\/~devaraj\/paper.pdf>.","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1109\/COMPSAC.2005.66"},{"key":"e_1_3_2_1_19_1","volume-title":"Conf., CA, USA","author":"Dewalt M.","year":"1999","unstructured":"M. Dewalt . MCDC : a blistering love\/hate relationship. In FAA national Softw . Conf., CA, USA , Apr 1999 . M. Dewalt. MCDC: a blistering love\/hate relationship. In FAA national Softw. Conf., CA, USA, Apr 1999."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1109\/DASC.2000.886883"},{"key":"e_1_3_2_1_21_1","volume-title":"Aug","author":"FAA","year":"2001","unstructured":"FAA CAST. Position paper CAST-6, rationale for accepting masking MC\/DC in certification projects. Technical report , Aug 2001 . FAA CAST. Position paper CAST-6, rationale for accepting masking MC\/DC in certification projects. Technical report, Aug 2001."},{"key":"e_1_3_2_1_22_1","volume-title":"Jun","author":"FAA","year":"2002","unstructured":"FAA CAST. Position paper CAST-10, what is a \"decision\" in application of modified condition\/decision coverage (MC\/DC) and decision coverage (DC)? Technical report , Jun 2002 . FAA CAST. Position paper CAST-10, what is a \"decision\" in application of modified condition\/decision coverage (MC\/DC) and decision coverage (DC)? Technical report, Jun 2002."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1109\/IWAST.2009.5069037"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1109\/ICSTW.2010.51"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/1159733.1159774"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1109\/DASC.2001.963305"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.5555\/1025115.1025217"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1007\/s10515-006-0004-y"},{"key":"e_1_3_2_1_30_1","first-page":"42","article-title":"Auto-generating test sequences using model checkers: A case study. Formal Appr. to Softw","volume":"2931","author":"Heimdahl M. P. E.","year":"2004","unstructured":"M. P. E. Heimdahl , S. Rayadurgam , W. Visser , D. George , and J. Gao . Auto-generating test sequences using model checkers: A case study. Formal Appr. to Softw . Testing , 2931 : 42 -- 59 , 2004 . M. P. E. Heimdahl, S. Rayadurgam, W. Visser, D. George, and J. Gao. Auto-generating test sequences using model checkers: A case study. Formal Appr. to Softw. Testing, 2931: 42--59, 2004.","journal-title":"Testing"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1109\/DASC.2008.4702848"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1145\/186258.187150"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1109\/TSE.2003.1183927"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1145\/1982595.1982608"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1016\/j.jss.2012.08.024"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1002\/stvr.v18:3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.5555\/1927882.1927902"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.5555\/942801.943641"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1002\/stvr.v14:3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_40_1","DOI":"10.1002\/stvr.v15:1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1155\/2009\/127945"},{"key":"e_1_3_2_1_42_1","volume-title":"Uni. of Durham","author":"Kitchenham B. A.","year":"2007","unstructured":"B. A. Kitchenham and S. Charters . Guidelines for performing systematic literature reviews in software engineering. Technical report , Uni. of Durham , 2007 . B. A. Kitchenham and S. Charters. Guidelines for performing systematic literature reviews in software engineering. Technical report, Uni. of Durham, 2007."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_43_1","DOI":"10.1145\/322993.322996"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_44_1","DOI":"10.1145\/1072997.1072998"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_45_1","DOI":"10.1007\/978-3-642-01924-1_4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_46_1","DOI":"10.1081\/E-ESE-120044233"},{"key":"e_1_3_2_1_47_1","first-page":"882","volume-title":"Proc. of the 42nd Midwest Symp. on Circuit and Sys.","author":"Li Y. Y.","year":"1999","unstructured":"Y. Y. Li . Structural test cases analysis and implementation . In Proc. of the 42nd Midwest Symp. on Circuit and Sys. , pages 882 -- 885 , Aug 1999 . Y. Y. Li. Structural test cases analysis and implementation. In Proc. of the 42nd Midwest Symp. on Circuit and Sys., pages 882--885, Aug 1999."},{"issue":"2","key":"e_1_3_2_1_48_1","first-page":"1311","article-title":"Automatic test-data generation for modified condition\/decision coverage using genetic algorithm","volume":"3","author":"Maragathavalli P.","year":"2011","unstructured":"P. Maragathavalli , M. Anusha , P. Geethamalini , and S. Priyadharsini . Automatic test-data generation for modified condition\/decision coverage using genetic algorithm . Int. J. of Eng. Sci. and Tech. , 3 ( 2 ): 1311 -- 1318 , Feb 2011 . P. Maragathavalli, M. Anusha, P. Geethamalini, and S. Priyadharsini. Automatic test-data generation for modified condition\/decision coverage using genetic algorithm. Int. J. of Eng. Sci. and Tech., 3(2): 1311--1318, Feb 2011.","journal-title":"Int. J. of Eng. Sci. and Tech."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_49_1","DOI":"10.1109\/ICECTECH.2011.5941819"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_50_1","DOI":"10.1109\/PRDC.2005.22"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_51_1","DOI":"10.1109\/ICSM.2010.5609565"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_52_1","DOI":"10.1109\/QSIC.2012.41"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_53_1","DOI":"10.1016\/S1571-0661(04)81020-X"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_54_1","DOI":"10.1007\/978-3-540-88194-0_8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_55_1","DOI":"10.1145\/1368088.1368111"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_56_1","DOI":"10.1109\/ECBS.2001.922409"},{"key":"e_1_3_2_1_57_1","first-page":"91","volume-title":"Proc. of the 28th NASA Softw. Eng. Workshop","author":"Rayadurgam S.","year":"2003","unstructured":"S. Rayadurgam and M. P. E. Heimdahl . Generating MC\/DC adequate test sequences through model checking . In Proc. of the 28th NASA Softw. Eng. Workshop , pages 91 -- 96 , Dec 2003 . S. Rayadurgam and M. P. E. Heimdahl. Generating MC\/DC adequate test sequences through model checking. In Proc. of the 28th NASA Softw. Eng. Workshop, pages 91--96, Dec 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_58_1","DOI":"10.1145\/1163514.1163534"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_59_1","DOI":"10.5555\/2337223.2337326"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_60_1","DOI":"10.1007\/978-3-642-28872-2_28"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_61_1","DOI":"10.3311\/pp.ee.2008-3-4.07"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_62_1","DOI":"10.1002\/stvr.v20:3"},{"key":"e_1_3_2_1_63_1","volume-title":"Int. Topical Meeting on Probabilistic Safety Assessment and Analysis, 3:  2295--2305","author":"Vilkomir S.","year":"2011","unstructured":"S. Vilkomir . Effect of testing coverage on software reliability - an experimental investigation . In Int. Topical Meeting on Probabilistic Safety Assessment and Analysis, 3: 2295--2305 , Mar 2011 . S. Vilkomir. Effect of testing coverage on software reliability - an experimental investigation. In Int. Topical Meeting on Probabilistic Safety Assessment and Analysis, 3: 2295--2305, Mar 2011."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_64_1","DOI":"10.5555\/647285.723104"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_65_1","DOI":"10.1007\/s00165-005-0084-7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_66_1","DOI":"10.5555\/950785.950860"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_67_1","DOI":"10.1109\/32.286420"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_68_1","DOI":"10.1145\/1146238.1146242"},{"key":"e_1_3_2_1_69_1","first-page":"2821","volume-title":"Proc. of the IEEE Aero. Conf.","author":"White A. L.","year":"2001","unstructured":"A. L. White . Comments on modified condition\/decision coverage for software testing . In Proc. of the IEEE Aero. Conf. , pages 2821 -- 2827 , 2001 . A. L. White. Comments on modified condition\/decision coverage for software testing. In Proc. of the IEEE Aero. Conf., pages 2821--2827, 2001."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_70_1","DOI":"10.1016\/j.infsof.2005.05.003"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_71_1","DOI":"10.5555\/1018442.1022051"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_72_1","DOI":"10.1016\/j.jss.2005.05.030"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_73_1","DOI":"10.1016\/j.jss.2005.08.016"}],"event":{"sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"acronym":"SAC 2014","name":"SAC 2014: Symposium on Applied Computing","location":"Gyeongju Republic of Korea"},"container-title":["Proceedings of the 29th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2555004","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2554850.2555004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:35:03Z","timestamp":1750232103000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2555004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,24]]},"references-count":72,"alternative-id":["10.1145\/2554850.2555004","10.1145\/2554850"],"URL":"https:\/\/doi.org\/10.1145\/2554850.2555004","relation":{},"subject":[],"published":{"date-parts":[[2014,3,24]]},"assertion":[{"value":"2014-03-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}