{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:30:38Z","timestamp":1760596238282,"version":"3.41.0"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2012,11,27]],"date-time":"2012-11-27T00:00:00Z","timestamp":1353974400000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2012,11,27]]},"abstract":"<jats:p>A considerable amount of time in software engineering is spent in debugging. In practice, mainly debugging tools which allow for executing a program step-by-step and setting break points are used. This debugging method is however very time consuming and cumbersome. There is a need for tools which undertake the task of narrowing down the most likely fault locations. These tools must complete this task with as little user interaction as possible and the results computed must be beneficial so that such tools appeal to programmers. In order to come up with such tools, we present three variants of the well-known spectrum-based fault localization technique that are enhanced by using methods from Artificial Intelligence. Each of the three combined approaches outperforms the underlying basic method concerning diagnostic accuracy. Hence, the presented approaches support the hypothesis that combining techniques from different areas is beneficial. In addition to the introduction of these techniques, we perform an empirical evaluation, discuss open challenges of debugging and outline possible solutions.<\/jats:p>","DOI":"10.1145\/2382756.2382784","type":"journal-article","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T15:02:27Z","timestamp":1354201347000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["AI for the win"],"prefix":"10.1145","volume":"37","author":[{"given":"Birgit","family":"Hofer","sequence":"first","affiliation":[{"name":"Institute for Software Technology, Graz University of Technology, Graz, Austria"}]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[{"name":"Institute for Software Technology, Graz University of Technology, Graz, Austria"}]},{"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[{"name":"University of Porto, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2012,11,27]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529374"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the 8th Symposium on Abstraction, Reformulation and Approximation (SARA'09)","author":"Abreu R.","year":"2009","unstructured":"R. Abreu and A. J. C. van Gemund . A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis. In V. Bulitko and J. C. Beck, editors , Proceedings of the 8th Symposium on Abstraction, Reformulation and Approximation (SARA'09) , Lake Arrowhead, California, USA, 8- -10 July 2009 . AAAI Press. R. Abreu and A. J. C. van Gemund. A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis. In V. Bulitko and J. C. Beck, editors, Proceedings of the 8th Symposium on Abstraction, Reformulation and Approximation (SARA'09), Lake Arrowhead, California, USA, 8--10 July 2009. AAAI Press."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.09.003"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.035"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.25"},{"key":"e_1_2_1_6_1","volume-title":"Nonlinear Programming: Analysis and Methods","author":"Avriel M.","year":"2003","unstructured":"M. Avriel . Nonlinear Programming: Analysis and Methods . Dover Publishing , Mineola, New York, USA, 2003 . M. Avriel. Nonlinear Programming: Analysis and Methods. Dover Publishing, Mineola, New York, USA, 2003."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019402"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273464"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100153"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90079-9"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0202-0"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/277633.277647"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/3007337.3007413"},{"key":"e_1_2_1_18_1","volume-title":"Algorithms for clustering data","author":"Jain A.","year":"1988","unstructured":"A. Jain and R. Dubes . Algorithms for clustering data . Prentice-Hall, Inc. , 1988 . A. Jain and R. Dubes. Algorithms for clustering data. Prentice-Hall, Inc., 1988."},{"key":"e_1_2_1_19_1","volume-title":"Intention-Based Diagnosis of Novice Programming Errors","author":"Johnson W. L.","year":"1986","unstructured":"W. L. Johnson . Intention-Based Diagnosis of Novice Programming Errors . Pitman , London , 1986 . W. L. Johnson. Intention-Based Diagnosis of Novice Programming Errors. Pitman, London, 1986."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232210"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.105"},{"key":"e_1_2_1_23_1","first-page":"127","volume-title":"Proceedings of the 19th International Workshop on Principles of Diagnosis (DX'08)","author":"Mayer W.","year":"2008","unstructured":"W. Mayer , R. Abreu , M. Stumptner , and A. J. C. van Gemund . Prioritizing model-based debugging diagnostic reports. In A. Grastien, M. Stumptner, and W. Mayer, editors , Proceedings of the 19th International Workshop on Principles of Diagnosis (DX'08) , pages 127 -- 134 , Blue Mountains, New South Wales, Australia, 22- -24 September 2008 . W. Mayer, R. Abreu, M. Stumptner, and A. J. C. van Gemund. Prioritizing model-based debugging diagnostic reports. In A. Grastien, M. Stumptner, and W. Mayer, editors, Proceedings of the 19th International Workshop on Principles of Diagnosis (DX'08), pages 127--134, Blue Mountains, New South Wales, Australia, 22--24 September 2008."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.23"},{"key":"e_1_2_1_25_1","volume-title":"Automatic Program Debugging for Intelligent Tutoring Systems","author":"Murray W. R.","year":"1988","unstructured":"W. R. Murray . Automatic Program Debugging for Intelligent Tutoring Systems . Pitman , London , 1988 . W. R. Murray. Automatic Program Debugging for Intelligent Tutoring Systems. Pitman, London, 1988."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00256-7"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/3106091.3106097"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/267895.267925"},{"key":"e_1_2_1_30_1","volume-title":"MIT Press","author":"Shapiro E.","year":"1983","unstructured":"E. Shapiro . Algorithmic Program Debugging . MIT Press , Cambridge, Massachusetts , 1983 . E. Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, Massachusetts, 1983."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.65"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2010.51"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/646864.708248"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1237172"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2011.32"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382756.2382784","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2382756.2382784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:54Z","timestamp":1750239294000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382756.2382784"}},"subtitle":["improving spectrum-based fault localization"],"short-title":[],"issued":{"date-parts":[[2012,11,27]]},"references-count":35,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2012,11,27]]}},"alternative-id":["10.1145\/2382756.2382784"],"URL":"https:\/\/doi.org\/10.1145\/2382756.2382784","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2012,11,27]]},"assertion":[{"value":"2012-11-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}