{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:34:46Z","timestamp":1773930886921,"version":"3.50.1"},"reference-count":56,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2014,2,1]],"date-time":"2014-02-01T00:00:00Z","timestamp":1391212800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["819987"],"award-info":[{"award-number":["819987"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Lebanese National Council for Scientific Research"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2014,2]]},"abstract":"<jats:p>\n            Researchers have argued that for failure to be observed the following three conditions must be met:\n            <jats:italic>C<\/jats:italic>\n            <jats:sub>\n              <jats:italic>R<\/jats:italic>\n            <\/jats:sub>\n            = the defect was reached;\n            <jats:italic>C<\/jats:italic>\n            <jats:sub>\n              <jats:italic>I<\/jats:italic>\n            <\/jats:sub>\n            = the program has transitioned into an infectious state; and\n            <jats:italic>C<\/jats:italic>\n            <jats:sub>\n              <jats:italic>P<\/jats:italic>\n            <\/jats:sub>\n            = the infection has propagated to the output.\n            <jats:italic>Coincidental Correctness<\/jats:italic>\n            (CC) arises when the program produces the correct output while condition C\n            <jats:sub>R<\/jats:sub>\n            is met but not C\n            <jats:sub>P<\/jats:sub>\n            . We recognize two forms of coincidental correctness, weak and strong. In\n            <jats:italic>weak CC<\/jats:italic>\n            , C\n            <jats:sub>R<\/jats:sub>\n            is met, whereas C\n            <jats:sub>I<\/jats:sub>\n            might or might not be met, whereas in\n            <jats:italic>strong<\/jats:italic>\n            <jats:italic>CC<\/jats:italic>\n            , both C\n            <jats:sub>R<\/jats:sub>\n            and C\n            <jats:sub>I<\/jats:sub>\n            are met. In this work we first show that CC is prevalent in both of its forms and demonstrate that it is a safety reducing factor for\n            <jats:italic>Coverage-Based Fault Localization<\/jats:italic>\n            (CBFL). We then propose two techniques for cleansing test suites from coincidental correctness to enhance CBFL, given that the test cases have already been classified as failing or passing. We evaluated the effectiveness of our techniques by empirically quantifying their accuracy in identifying weak CC tests. The results were promising, for example, the better performing technique, using 105 test suites and statement coverage, exhibited 9% false negatives, 30% false positives, and no false negatives nor false positives in 14.3% of the test suites. Also using 73 test suites and more complex coverage, the numbers were 12%, 19%, and 15%, respectively.\n          <\/jats:p>","DOI":"10.1145\/2559932","type":"journal-article","created":{"date-parts":[[2014,2,18]],"date-time":"2014-02-18T14:08:32Z","timestamp":1392732512000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":82,"title":["Prevalence of coincidental correctness and mitigation of its impact on fault localization"],"prefix":"10.1145","volume":"23","author":[{"given":"Wes","family":"Masri","sequence":"first","affiliation":[{"name":"American University of Beirut, Beirut, Lebanon"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rawad Abou","family":"Assi","sequence":"additional","affiliation":[{"name":"American University of Beirut, Beirut, Lebanon"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,2,20]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.42"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308173.1308264"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.25"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2006.18"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.035"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE'95)","author":"Agrawal H."},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"P. Ammann and J. Offutt. 2008. Introduction to Software Testing. Cambridge University Press.   P. Ammann and J. Offutt. 2008. Introduction to Software Testing. Cambridge University Press.","DOI":"10.1017\/CBO9780511809163"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134299"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08)","author":"Cadar C."},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the International Conference on Dependable Systems and Networks (DSN'02)","author":"Chen M. Y."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085143"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_23"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the International Conference on Software Engineering. 339--348","author":"Dickinson W."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"e_1_2_1_15_1","volume-title":"Data Mining: Concepts and Techniques","author":"Han J.","year":"2001"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2005.06.001"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151695.1151696"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235571"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643610"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273468"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/186258.186514"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2005.45"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337195"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781148"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.105"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081753"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181782"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120825"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9071-y"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v20:2"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.22"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555860.1555862"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.166"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.02.007"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138927"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.05.008"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2008.06.002"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1571629.1571631"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.1020"},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the International Conference on Software Engineering. 465--474","author":"Podgurski A."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the 18th IEEE Conference on Automated Software Engineering. 30--39","author":"Renieris M."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.232020"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070508"},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the National Conference on Recent Trends in Engineering and Technology.","author":"Singh S."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.153381"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(93)90064-5"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070507"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.65"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1143844.1143983"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.31"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2559932","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2559932","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:25Z","timestamp":1750234225000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2559932"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":56,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["10.1145\/2559932"],"URL":"https:\/\/doi.org\/10.1145\/2559932","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2]]},"assertion":[{"value":"2012-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-02-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}