{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T03:31:44Z","timestamp":1781062304780,"version":"3.54.1"},"reference-count":43,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2011,8,1]],"date-time":"2011-08-01T00:00:00Z","timestamp":1312156800000},"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":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2011,8]]},"abstract":"<jats:p>This article presents an improved approach to assist diagnosis of failures in software (fault localisation) by ranking program statements or blocks in accordance with to how likely they are to be buggy. We present a very simple single-bug program to model the problem. By examining different possible execution paths through this model program over a number of test cases, the effectiveness of different proposed spectral ranking methods can be evaluated in idealised conditions. The results are remarkably consistent to those arrived at empirically using the Siemens test suite and Space benchmarks. The model also helps identify groups of metrics that are equivalent for ranking. Due to the simplicity of the model, an optimal ranking method can be devised. This new method out-performs previously proposed methods for the model program, the Siemens test suite and Space. It also helps provide insight into other ranking methods.<\/jats:p>","DOI":"10.1145\/2000791.2000795","type":"journal-article","created":{"date-parts":[[2011,8,30]],"date-time":"2011-08-30T13:30:18Z","timestamp":1314711018000},"page":"1-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":451,"title":["A model for spectra-based software diagnosis"],"prefix":"10.1145","volume":"20","author":[{"given":"Lee","family":"Naish","sequence":"first","affiliation":[{"name":"University of Melbourne, Melbourne, Victoria, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hua Jie","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Melbourne, Melbourne, Victoria, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kotagiri","family":"Ramamohanarao","sequence":"additional","affiliation":[{"name":"University of Melbourne, Melbourne, Victoria, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,8,26]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2006.18"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308173.1308264"},{"key":"e_1_2_1_3_1","unstructured":"Anderberg M. 1973. Cluster Analysis for Applications. Academic Press. Anderberg M. 1973. Cluster Analysis for Applications. Academic Press."},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the International Conference on Dependable Systems and Networks. 595--604","author":"Chen M."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062522"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1177\/001316446002000104"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085143"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.2307\/1932409"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1590\/S1415-47571999000300024"},{"key":"e_1_2_1_11_1","volume-title":"Data Mining: Introductory and Advanced Topics","author":"Dunham M.","year":"2002"},{"key":"e_1_2_1_12_1","unstructured":"Everitt B. 1978. Graphical Techniques For Multivariate Data. North-Holland. Everitt B. 1978. Graphical Techniques For Multivariate Data. North-Holland."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02289537"},{"key":"e_1_2_1_14_1","unstructured":"Gonzalez A. 2007. Automatic error detection techniques based on dynamic invariants. M.S. dissertation. Delft University of Technology The Netherlands. Gonzalez A. 2007. Automatic error detection techniques based on dynamic invariants. M.S. dissertation. Delft University of Technology The Netherlands."},{"key":"e_1_2_1_15_1","article-title":"Measures of association for cross classifications","volume":"49","author":"Goodman L.","year":"1954","journal-title":"J. ASA"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1950.tb00463.x"},{"key":"e_1_2_1_17_1","first-page":"547","article-title":"\u00c9tude comparative de la distribution florale dans une portion des Alpes et des","volume":"37","author":"Jaccard P.","year":"1901","journal-title":"Jura. Bull. Soc. Vaudoise Sci. Nat"},{"key":"e_1_2_1_18_1","unstructured":"Jiang L. and Su Z. 2005. Automatic isolation of cause-effect chains with machine learning. Tech. rep. CSE-2005-32 University of California Davis. Jiang L. and Su Z. 2005. Automatic isolation of cause-effect chains with machine learning. Tech. rep. CSE-2005-32 University of California Davis."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273468"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","first-page":"695","DOI":"10.5951\/MT.66.8.0695","article-title":"Taxicab geometry","volume":"66","author":"Krause E.","year":"1973","journal-title":"Math. Teacher"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1958.1057446"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the 2nd ICCSIT. IEEE, 501--509","author":"Lee H."},{"key":"e_1_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Liblit B. 2004. Cooperative bug isolation. Ph.D. dissertation. University of California. Liblit B. 2004. Cooperative bug isolation. Ph.D. dissertation. University of California.","DOI":"10.1049\/ic:20040352"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081753"},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of JOCLAD.","author":"Lourenco F."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.2044-8317.1968.tb00401.x"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1590\/S1415-47572004000100014"},{"key":"e_1_2_1_31_1","unstructured":"Naish L. 2008. Probabilistic declarative debugging. J. Funct. Logic Prog. 1. Naish L. 2008. Probabilistic declarative debugging. J. Funct. Logic Prog. 1."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.2331\/suisan.22.526"},{"key":"e_1_2_1_33_1","unstructured":"Pytlik B. Renieris M. Krishnamurthi S. and Reiss S. 2003. Automated fault localization using potential invariants. Arxiv preprint cs.SE\/0310040. Pytlik B. Renieris M. Krishnamurthi S. and Reiss S. 2003. Automated fault localization using potential invariants. Arxiv preprint cs.SE\/0310040."},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the 18th IEEE International Conference on Automated Software Engineering. 30--39","author":"Renieres M."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/267895.267925"},{"key":"e_1_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Rogers D. and Tanimoto T. 1960. A computer program for classifying plants. Science 132 3434 1115--1118. Rogers D. and Tanimoto T. 1960. A computer program for classifying plants. Science 132 3434 1115--1118.","DOI":"10.1126\/science.132.3434.1115"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9681(66)90032-4"},{"key":"e_1_2_1_38_1","first-page":"153","article-title":"On habitat and association of species of anopheline larvae in south-eastern Madras","volume":"3","author":"Russel P.","year":"1940","journal-title":"J. Malar. Inst. India"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1086\/266577"},{"key":"e_1_2_1_40_1","unstructured":"Telcordia Technologies Inc. 1998. Telecordia software visualization and analysis toolsuite (\u03c7Suds). Users manual Chapter 12. Telcordia Technologies Inc. 1998. Telecordia software visualization and analysis toolsuite (\u03c7Suds). Users manual Chapter 12."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.109"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.963440"},{"key":"e_1_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Zeller A. 2006. Why Programs Fail: A Guide to Systematic Debugging. Morgan-Kaufmann. Zeller A. 2006. Why Programs Fail: A Guide to Systematic Debugging. Morgan-Kaufmann.","DOI":"10.1016\/B978-155860866-5\/50008-4"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000791.2000795","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2000791.2000795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:00:03Z","timestamp":1750244403000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000791.2000795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":43,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,8]]}},"alternative-id":["10.1145\/2000791.2000795"],"URL":"https:\/\/doi.org\/10.1145\/2000791.2000795","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8]]},"assertion":[{"value":"2008-11-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-08-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}