A model for spectra-based software diagnosis

ACM Transactions on Software Engineering and Methodology

Volumn 20, Issue 3, 2011, Pages

  Naish, Lee ^a   Lee, Hua Jie ^a   Ramamohanarao, Kotagiri ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

Fault localization; Program spectra; Statistical debugging

Indexed keywords

EXECUTION PATHS; FAULT LOCALIZATION; LOCALISATION; MODEL PROGRAMS; PROGRAM SPECTRA; PROGRAM STATEMENTS; RANKING METHODS; SIEMENS; STATISTICAL DEBUGGING; TEST CASE;

PROGRAM DIAGNOSTICS; SOFTWARE TESTING;

PROGRAM DEBUGGING;

EID: 80052308307     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/2000791.2000795     Document Type: Article

References (43)

1. ABREU, R., ZOETEWEIJ, P., AND VAN GEMUND, A. 2006. An evaluation of similarity coefficients for software fault localization. In Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing. 39-46. (Pubitemid 351337245)
2. ABREU, R., ZOETEWEIJ, P., AND VAN GEMUND, A. 2007. On the accuracy of spectrum-based fault localization. In Proceedings of Testing: Academic and Industrial Conference Practice and Research Techniques-Mutation, 2007 (TAICPART-Mutation'07). 89-98.
3. ANDERBERG, M. 1973. Cluster Analysis for Applications. Academic Press.
4. CHEN, M., KICIMAN, E., FRATKIN, E., FOX, A., AND BREWER, E. 2002. Pinpoint: Problem determination in large, dynamic internet services. In Proceedings of the International Conference on Dependable Systems and Networks. 595-604.
5. CLEVE, H. AND ZELLER, A. 2005. Locating causes of program failures. In Proceedings of the 27th International Conference on Software Engineering. 342-351.
6. COHEN, J. 1960. A coefficient of agreement for nominal scales. Educat. Psych. Measure. 20, 1, 37.
7. DALLMEIER, V., LINDIG, C., AND ZELLER, A. 2005. Lightweight bug localization with AMPLE. In Proceedings of the 6th International Symposium on Automated Analysis-Driven Debugging, 99-104.
8. DICE, L. 1945. Measures of the amount of ecologic association between species. Ecology 26, 3, 297-302.
9. DO, H., ELBAUM, S., AND ROTHERMEL, G. 2005. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Softw. Engin. 10, 4, 405-435. (Pubitemid 41408554)
10. DUARTE, J., SANTOS, J., AND MELO, L. 1999. Comparison of similarity coefficients based on RAPD markers in the common bean. Gen. Molec. Biol. 22, 427-432. (Pubitemid 29447551)
11. DUNHAM, M. 2002. Data Mining: Introductory and Advanced Topics. Prentice-Hall.
12. EVERITT, B. 1978. Graphical Techniques For Multivariate Data. North-Holland.
13. FLEISS, J. 1965. Estimating the accuracy of dichotomous judgments. Psychometrika 30, 4, 469-479.
14. GONZALEZ, A. 2007. Automatic error detection techniques based on dynamic invariants. M.S. dissertation. Delft University of Technology, The Netherlands.
15. GOODMAN, L. AND KRUSKAL,W. 1954. Measures of association for cross classifications. J. ASA 49, 268, 732-764.
16. HAMMING, R. 1950. Error detecting and error correcting codes. Bell Syst. Tech. J. 29, 2, 147-160.
17. JACCARD, P. 1901. É tude comparative de la distribution florale dans une portion des Alpes et des Jura. Bull. Soc. Vaudoise Sci. Nat 37, 547-579.
18. JIANG, L. AND SU, Z. 2005. Automatic isolation of cause-effect chains with machine learning. Tech. rep. CSE-2005-32, University of California, Davis.
19. JONES, J., BOWRING, J., AND HARROLD, M. 2007. Debugging in parallel. In Proceedings of the International Symposium on Software Testing and Analysis. 16-26. (Pubitemid 47317576)
20. JONES, J. ANDHARROLD,M. 2005. Empirical evaluation of the Tarantula automatic fault-localization technique. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering. 273-282.
21. JONES, J., HARROLD, M., AND STASKO, J. 2002. Visualization of test information to assist fault localization. In Proceedings of the 24th International Conference on Software Engineering. 467-477. (Pubitemid 35009133)
22. KRAUSE, E. 1973. Taxicab geometry. Math. Teacher 66, 8, 695-706.
23. LEE, C. 1958. Some properties of nonbinary error-correcting codes. IEEE Trans. Inf. Theory 4, 2, 77-82.
24. LEE, H., NAISH, L., AND RAMAMOHANARAO, K. 2009. Study of the relationship for bug consistency with respect to performance of spectra metrics. In Proceedings of the 2nd ICCSIT. IEEE, 501-509.
25. LIBLIT, B. 2004. Cooperative bug isolation. Ph.D. dissertation. University of California.
26. LIBLIT, B.,NAIK,M.,ZHENG, A.,AIKEN, A., AND JORDAN,M. 2005. Scalable statistical bug isolation. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 15-26.
27. LIU, C., YAN, X., FEI, L., HAN, J., AND MIDKIFF, S. P. 2005. Sober: Statistical model-based bug localization. SIGSOFT Softw. Engin. Notes 30, 5, 286-295. (Pubitemid 43218839)
28. LOURENCO, F., LOBO, V., AND BAÇÃO, F. 2004. Binary-based similarity measures for categorical data and their application in self-organizing maps. In Proceedings of JOCLAD.
29. MAXWELL, A. AND PILLINER, A. 1968. Deriving coefficients of reliability and agreement for ratings. Brit. J. Math. Stat. Psychol. 21, 1, 105-16.
30. MEYER, A.,GARCIA, A., SOUZA, A., AND SOUZA JR, C. 2004. Comparison of similarity coefficients used for cluster analysis with dominant markers in maize (Zea mays L). Gen. Molec. Biol. 27, 83-91. (Pubitemid 38578874)
31. NAISH, L. 2008. Probabilistic declarative debugging. J. Funct. Logic Prog. 1.
32. OCHIAI, A. 1957. Zoogeographic studies on the soleoid fishes found in Japan and its neighbouring regions. Bull. Japan Soc. Sci. Fish 22, 526-530.
33. PYTLIK, B., RENIERIS, M., KRISHNAMURTHI, S., AND REISS, S. 2003. Automated fault localization using potential invariants. Arxiv preprint cs.SE/0310040.
34. RENIERES, M. AND REISS, S. 2003. Fault localization with nearest neighbor queries. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering. 30-39.
35. REPS, T., BALL, T., DAS, M., AND LARUS, J. 1997. The use of program profiling for software maintenance with applications to the year 2000 problem. In Proceedings of the 6th European Conference Held Jointly with the 5th ACM SIGSOFT International Symposium on Foundations of Software Engineering. 432-449. (Pubitemid 127132042)
36. ROGERS, D. AND TANIMOTO, T. 1960. A computer program for classifying plants. Science 132, 3434, 1115-1118.
37. ROGOT, E. AND GOLDBERG, I. 1966. A proposed index for measuring agreement in test-retest studies. J. Chronic. Dis. 19, 9, 991-1006.
38. RUSSEL, P. AND RAO, T. 1940. On habitat and association of species of anopheline larvae in south-eastern Madras. J. Malar. Inst. India 3, 153-178.
39. SCOTT, W. 1955. Reliability of content analysis: The case of nominal scale coding. Public Opin. Quart. 19, 3, 321-325.
40. TELCORDIA TECHNOLOGIES, INC. 1998. Telecordia software visualization and analysis toolsuite (?Suds). Users manual, Chapter 12.
41. WONG, W.,QI, Y., ZHAO, L., AND CAI, K. 2007. Effective fault localization using code coverage. In Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC'07). Vol. 1, 449-456. (Pubitemid 350301717)
42. ZELLER, A. 2001. Automated debugging: are we close? Computer 34, 11, 26-31.
43. ZELLER, A. 2006. Why Programs Fail: A Guide to Systematic Debugging. Morgan-Kaufmann.