{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:29Z","timestamp":1772164049450,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,3,16]],"date-time":"2013-03-16T00:00:00Z","timestamp":1363392000000},"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":[[2013,3,16]]},"DOI":"10.1145\/2451116.2451131","type":"proceedings-article","created":{"date-parts":[[2013,3,19]],"date-time":"2013-03-19T09:34:53Z","timestamp":1363685693000},"page":"139-152","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":61,"title":["Using likely invariants for automated software fault localization"],"prefix":"10.1145","author":[{"given":"Swarup Kumar","family":"Sahoo","sequence":"first","affiliation":[{"name":"University of Illinois, Urbana-Champaign, IL, USA"}]},{"given":"John","family":"Criswell","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana-Champaign, IL, USA"}]},{"given":"Chase","family":"Geigle","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana-Champaign, IL, USA"}]},{"given":"Vikram","family":"Adve","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana-Champaign, IL, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,3,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Website. http:\/\/findbugs.sourceforge.net\/.  Website. http:\/\/findbugs.sourceforge.net\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Website. http:\/\/www.hpenterprisesecurity.com\/products\/hp-fortifysoftware-security-center\/hp-fortify-static-code-analyzer\/.  Website. http:\/\/www.hpenterprisesecurity.com\/products\/hp-fortifysoftware-security-center\/hp-fortify-static-code-analyzer\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Website. http:\/\/www.coverity.com\/products\/coverity-save.html.  Website. http:\/\/www.coverity.com\/products\/coverity-save.html."},{"key":"e_1_3_2_1_4_1","volume-title":"National Institute of Standards and Technology. Software errors cost U.S. economy $59.5 billion annually: NIST assesses technical needs of industry to improve software-testing","author":"NIST","year":"2002","unstructured":"NIST : National Institute of Standards and Technology. Software errors cost U.S. economy $59.5 billion annually: NIST assesses technical needs of industry to improve software-testing . June 2002 . NIST: National Institute of Standards and Technology. Software errors cost U.S. economy $59.5 billion annually: NIST assesses technical needs of industry to improve software-testing. June 2002."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2006.18"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/956417.956545"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831715"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806840"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1717752.1717758"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2005.1502528"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062522"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133999"},{"key":"e_1_3_2_1_15_1","volume-title":"International Conference on Software Engineering","author":"Dietz W.","year":"2012","unstructured":"W. Dietz , P. Li , J. Regehr , and V. Adve . Understanding Integer Overflow in C\/C++ . In International Conference on Software Engineering , June 2012 . W. Dietz, P. Li, J. Regehr, and V. Adve. Understanding Integer Overflow in C\/C++. In International Conference on Software Engineering, June 2012."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508252"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251229.1251230"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1267102.1267108"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629586"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_22_1","volume-title":"Network Distributed Security Symposium (NDSS). Internet Society","author":"Godefroid P.","year":"2008","unstructured":"P. Godefroid , M. Y. Levin , and D. A. Molnar . Automated whitebox fuzz testing . In Network Distributed Security Symposium (NDSS). Internet Society , 2008 . P. Godefroid, M. Y. Levin, and D. A. Molnar. Automated whitebox fuzz testing. In Network Distributed Security Symposium (NDSS). Internet Society, 2008."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101948"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581377"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2009.5306303"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993550"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.93"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2009.5315981"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542504"},{"key":"e_1_3_2_1_34_1","volume-title":"Valgrind: A program supervision framework. Electronic notes in theoretical computer science, 89(2)","author":"Nethercote N.","year":"2003","unstructured":"N. Nethercote and J. Seward . Valgrind: A program supervision framework. Electronic notes in theoretical computer science, 89(2) , 2003 . N. Nethercote and J. Seward. Valgrind: A program supervision framework. Electronic notes in theoretical computer science, 89(2), 2003."},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the Workshop on Automated and Algorithmic Debugging","author":"Pytlik B.","year":"2003","unstructured":"B. Pytlik , M. Renieris , S. Krishnamurthi , and S. P. Reiss . Automated fault localization using potential invariants . In Proceedings of the Workshop on Automated and Algorithmic Debugging , 2003 . B. Pytlik, M. Renieris, S. Krishnamurthi, and S. P. Reiss. Automated fault localization using potential invariants. In Proceedings of the Workshop on Automated and Algorithmic Debugging, 2003."},{"key":"e_1_3_2_1_36_1","volume-title":"Submission","author":"Regehr J.","year":"2012","unstructured":"J. Regehr , Y. Chen , P. Cuoq , E. Eide , C. Ellision , and X. Yang . Testcase reduction for c compiler bugs . In Submission , 2012 . J. Regehr, Y. Chen, P. Cuoq, E. Eide, C. Ellision, and X. Yang. Testcase reduction for c compiler bugs. In Submission, 2012."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806870"},{"key":"e_1_3_2_1_38_1","volume-title":"Making smart investments to reduce unplanned downtime. Tactical Guidelines TG-07-4033","author":"Scott D.","year":"1999","unstructured":"D. Scott . Making smart investments to reduce unplanned downtime. Tactical Guidelines TG-07-4033 , Gartner Group , March 1999 . D. Scott. Making smart investments to reduce unplanned downtime. Tactical Guidelines TG-07-4033, Gartner Group, March 1999."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1533013.1533046"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882324"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294275"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375611"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/605466.605468"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134324"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-006-9007-3"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776855"}],"event":{"name":"ASPLOS '13: Architectural Support for Programming Languages and Operating Systems","location":"Houston Texas USA","acronym":"ASPLOS '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2451116.2451131","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2451116.2451131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:18:50Z","timestamp":1750220330000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2451116.2451131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,16]]},"references-count":46,"alternative-id":["10.1145\/2451116.2451131","10.1145\/2451116"],"URL":"https:\/\/doi.org\/10.1145\/2451116.2451131","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2490301.2451131","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/2499368.2451131","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,3,16]]},"assertion":[{"value":"2013-03-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}