{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:58:16Z","timestamp":1764784696725,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"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":[[2021,7,11]]},"DOI":"10.1145\/3460319.3464841","type":"proceedings-article","created":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T22:18:43Z","timestamp":1625782723000},"page":"505-516","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Toward optimal mc\/dc test case generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6169-6334","authenticated-orcid":false,"given":"Sangharatna","family":"Godboley","sequence":"first","affiliation":[{"name":"National Institute of Technology Warangal, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9988-6144","authenticated-orcid":false,"given":"Joxan","family":"Jaffar","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8147-6590","authenticated-orcid":false,"given":"Rasool","family":"Maghareh","sequence":"additional","affiliation":[{"name":"Huawei, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7887-3264","authenticated-orcid":false,"given":"Arpita","family":"Dutta","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]}],"member":"320","published-online":{"date-parts":[[2021,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"BullseyeCoverage 2019. http:\/\/www.bullseye.com\/coverage.html##basic_conditionDecisionModified  BullseyeCoverage 2019. http:\/\/www.bullseye.com\/coverage.html##basic_conditionDecisionModified"},{"key":"e_1_3_2_1_2_1","unstructured":"C++ Functional Safety and Compliance 2019. https:\/\/www.parasoft.com\/ctest\/functional-safety  C++ Functional Safety and Compliance 2019. https:\/\/www.parasoft.com\/ctest\/functional-safety"},{"key":"e_1_3_2_1_3_1","unstructured":"Cantata Unit and Integration Test Tool 2019. https:\/\/www.qa-systems.com\/tools\/cantata\/code-coverage\/  Cantata Unit and Integration Test Tool 2019. https:\/\/www.qa-systems.com\/tools\/cantata\/code-coverage\/"},{"key":"e_1_3_2_1_4_1","unstructured":"GAIO ISO 26262 Compliant Unit Test Tool 2019. http:\/\/www.gaio.com\/product\/dev_tools\/pdt07_winams.html  GAIO ISO 26262 Compliant Unit Test Tool 2019. http:\/\/www.gaio.com\/product\/dev_tools\/pdt07_winams.html"},{"key":"e_1_3_2_1_5_1","unstructured":"LDRA Software Technology 2019. http:\/\/www.gensoft-tr.com\/getPDF.php?fn=downloads\/ldra\/tbsafe-modified-condition.pdf  LDRA Software Technology 2019. http:\/\/www.gensoft-tr.com\/getPDF.php?fn=downloads\/ldra\/tbsafe-modified-condition.pdf"},{"volume-title":"The Software Path Analysis Company","year":"2019","key":"e_1_3_2_1_6_1","unstructured":"McCabe , The Software Path Analysis Company , 2019 . http:\/\/www.mccabe.com\/ McCabe, The Software Path Analysis Company, 2019. http:\/\/www.mccabe.com\/"},{"key":"e_1_3_2_1_7_1","volume-title":"Rapita Systems","author":"Aero RapiCover","year":"2019","unstructured":"RapiCover Aero , Rapita Systems , 2019 . https:\/\/www.rapitasystems.com\/products\/rapicover\/aero RapiCover Aero, Rapita Systems, 2019. https:\/\/www.rapitasystems.com\/products\/rapicover\/aero"},{"key":"e_1_3_2_1_8_1","unstructured":"Testwell CTC++ Description 2019. http:\/\/www.testwell.fi\/ctcdesc.html  Testwell CTC++ Description 2019. http:\/\/www.testwell.fi\/ctcdesc.html"},{"volume-title":"Embedded Software Testing","year":"2019","key":"e_1_3_2_1_9_1","unstructured":"VectorCAST , Embedded Software Testing , 2019 . https:\/\/www.vectorcast.com\/software-testing-products\/embedded-mcdc-unit-testing VectorCAST, Embedded Software Testing, 2019. https:\/\/www.vectorcast.com\/software-testing-products\/embedded-mcdc-unit-testing"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2927924"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570123"},{"volume-title":"29th MICRO. 46\u201357.","author":"Ball Thomas","key":"e_1_3_2_1_12_1","unstructured":"Thomas Ball and James R Larus . 1996. Efficient path profiling . In 29th MICRO. 46\u201357. Thomas Ball and James R Larus. 1996. Efficient path profiling. In 29th MICRO. 46\u201357."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390634"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0044-z"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2009.53"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2790013"},{"key":"e_1_3_2_1_17_1","unstructured":"2020. CBMC:. http:\/\/www.cprover.org\/cprover-manual\/test-suite\/  2020. CBMC:. http:\/\/www.cprover.org\/cprover-manual\/test-suite\/"},{"key":"e_1_3_2_1_18_1","unstructured":"John J Chilenski. 2001. An investigation of three forms of the modified condition decision coverage (MCDC) criterion. BOEING COMMERCIAL AIRPLANE CO SEATTLE WA.  John J Chilenski. 2001. An investigation of three forms of the modified condition decision coverage (MCDC) criterion. BOEING COMMERCIAL AIRPLANE CO SEATTLE WA."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.2307\/2963594"},{"key":"e_1_3_2_1_21_1","first-page":"244","article-title":"Lemmas on demand for satisfiability solvers","volume":"2","author":"Moura Leonardo De","year":"2002","unstructured":"Leonardo De Moura , Harald Rue\u00df , and Maria Sorea . 2002 . Lemmas on demand for satisfiability solvers . SAT , 2 (2002), 244 \u2013 251 . Leonardo De Moura, Harald Rue\u00df, and Maria Sorea. 2002. Lemmas on demand for satisfiability solvers. SAT, 2 (2002), 244\u2013251.","journal-title":"SAT"},{"key":"e_1_3_2_1_22_1","unstructured":"2018. EN50128 standard. https:\/\/de.wikipedia.org\/wiki\/EN 50128  2018. EN50128 standard. https:\/\/de.wikipedia.org\/wiki\/EN 50128"},{"key":"e_1_3_2_1_23_1","unstructured":"2018. EN50129 standard. http:\/\/standards.globalspec.com\/std\/1266373\/cenelec-en-50129  2018. EN50129 standard. http:\/\/standards.globalspec.com\/std\/1266373\/cenelec-en-50129"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693138"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360220"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3299771.3299781"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.6084\/m9.figshare.13650242.v1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2405"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_31_1","volume-title":"Rierson","author":"Hayhurst Kelly J.","year":"2001","unstructured":"Kelly J. Hayhurst , Dan S. Veerhusen , John J. Chilenski , and Leanna K . Rierson . 2001 . A Practical Tutorial on Modified Condition\/Decision Coverage . http:\/\/shemesh.larc.nasa.gov\/fm\/papers\/Hayhurst-2001-tm210876-MCDC.pdf Kelly J. Hayhurst, Dan S. Veerhusen, John J. Chilenski, and Leanna K. Rierson. 2001. A Practical Tutorial on Modified Condition\/Decision Coverage. http:\/\/shemesh.larc.nasa.gov\/fm\/papers\/Hayhurst-2001-tm210876-MCDC.pdf"},{"key":"e_1_3_2_1_32_1","unstructured":"2018. IEC-62304 standard. https:\/\/www.iso.org\/standard\/38421.html  2018. IEC-62304 standard. https:\/\/www.iso.org\/standard\/38421.html"},{"key":"e_1_3_2_1_33_1","unstructured":"2018. ISO-26262-automotive-functional-safety-training. http:\/\/www.sgs.sg\/en\/training-services\/industry-based-training\/automotive-training\/automotive-functional-safety-training\/iso-26262-automotive-functional-safety-training  2018. ISO-26262-automotive-functional-safety-training. http:\/\/www.sgs.sg\/en\/training-services\/industry-based-training\/automotive-training\/automotive-functional-safety-training\/iso-26262-automotive-functional-safety-training"},{"key":"e_1_3_2_1_34_1","unstructured":"2018. ISO-26262-automotive-functional-safety-training. http:\/\/www.ni.com\/white-paper\/13647\/en\/  2018. ISO-26262-automotive-functional-safety-training. http:\/\/www.ni.com\/white-paper\/13647\/en\/"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00118"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar Rasool Maghareh Sangharatna Godboley and Xuan-Linh Ha. 2020. TracerX: Dynamic Symbolic Execution with Interpolation. arxiv:2012.00556.  Joxan Jaffar Rasool Maghareh Sangharatna Godboley and Xuan-Linh Ha. 2020. TracerX: Dynamic Symbolic Execution with Interpolation. arxiv:2012.00556.","DOI":"10.1007\/978-3-030-45234-6_28"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491425"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_61"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04244-7_37"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-014-0418-5"},{"key":"e_1_3_2_1_41_1","unstructured":"Janne Kauttio. 2013. MC\/DC Based Test Selection for Dynamic Symbolic Execution. http:\/\/urn.fi\/URN:NBN:fi:aalto-201310307764  Janne Kauttio. 2013. MC\/DC Based Test Selection for Dynamic Symbolic Execution. http:\/\/urn.fi\/URN:NBN:fi:aalto-201310307764"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99130-6_9"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254088"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_10"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_16"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_17"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609565"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2555004"},{"key":"e_1_3_2_1_51_1","unstructured":"2017. SV-COMP Benchmarks: Verification Tasks. https:\/\/github.com\/sosy-lab\/sv-benchmarks\/tree\/master\/c\/psyco  2017. SV-COMP Benchmarks: Verification Tasks. https:\/\/github.com\/sosy-lab\/sv-benchmarks\/tree\/master\/c\/psyco"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368111"},{"key":"e_1_3_2_1_53_1","unstructured":"2012. Regular Extrapolation of Reactive Systems (RERS-2012). http:\/\/rers-challenge.org\/2012\/index.php?page=download  2012. Regular Extrapolation of Reactive Systems (RERS-2012). http:\/\/rers-challenge.org\/2012\/index.php?page=download"},{"key":"e_1_3_2_1_54_1","unstructured":"2020. RERS:. http:\/\/rers-challenge.org\/  2020. RERS:. http:\/\/rers-challenge.org\/"},{"key":"e_1_3_2_1_55_1","unstructured":"2020. RERS20:. http:\/\/rers-challenge.org\/2020\/  2020. RERS20:. http:\/\/rers-challenge.org\/2020\/"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"e_1_3_2_1_57_1","unstructured":"Matt Staats. 2009. Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder. In NFM. 116.  Matt Staats. 2009. Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder. In NFM. 116."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606556"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.68"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167335"},{"key":"e_1_3_2_1_63_1","unstructured":"Michal Zalewski. 2017. American fuzzy lop (AFL) fuzzer. https:\/\/github.com\/google\/AFL  Michal Zalewski. 2017. American fuzzy lop (AFL) fuzzer. https:\/\/github.com\/google\/AFL"}],"event":{"name":"ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Virtual Denmark","acronym":"ISSTA '21"},"container-title":["Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460319.3464841","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3460319.3464841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:36Z","timestamp":1750195476000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460319.3464841"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":63,"alternative-id":["10.1145\/3460319.3464841","10.1145\/3460319"],"URL":"https:\/\/doi.org\/10.1145\/3460319.3464841","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]},"assertion":[{"value":"2021-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}