Fault localization with nearest neighbor queries

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 30-39

  Renieris, Manos ^a   Reiss, Steven P ^a  

^a Brown Univerity   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); PROGRAM DEBUGGING;

BASIC BLOCKS; DISTANCE CRITERION; FAULT LOCALIZATION; GENERIC METHOD; NEAREST-NEIGHBOR QUERY; PROGRAM SPECTRA; SIEMENS; SIMILARITY MEASURE;

NEAREST NEIGHBOR SEARCH;

EID: 84917687527     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240292     Document Type: Conference Paper

References (29)

1. P. Anderson and T. Teitelbaum. Software inspection using codesurfer. In Proceedings of the 1st Workshop on Inspection in Software Engineering, 2001.
2. T. Ball, M. Naik, and S. K. Rajamani. From symptom to cause: Localizing errors in counterexample traces. In Proceedings of the Symposium on Principles of Programming Languages, pages 97-105, Jan. 2003.
3. T. Y. Chen and Y. Y. Cheung. On program dicing. Software Maintenance: Research and Experience, 9(1):33-46, Feb. 1997.
4. D. E. Critchlow. Metric Methods for Analyzing Partially Ranked Data, volume 34 of Lecture Nodes in Statistics. Springer-Verlag, 1985.
5. W. Dickinson, D. Leon, and A. Podgurski. Pursuing failure: The distribution of program failures in a profile space. In Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engineering, pages 246-255, Sept. 2001.
6. M. Ducassé. A pragmatic survey of automated debugging. In Proceedings of the 1st Workshop on Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science. Springer-Verlag, 1993.
7. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proceedings of the Symposium on Operating Systems Principles, 2001.
8. M. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. In Proceedings of the 21st International Conference on Software Engineering, pages 213-225, 1999.
9. A. Groce and W. Visser. What went wrong: Explaining counterexamples. In Proceedings of the 10th International SPIN Workshop on Model Checking of Software, volume 2648 of Lecture Notes Computer Science. Springer-Verlag, 2003.
10. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the 24th International Conference on Software Engineering, pages 291-301, 2002.
11. M. J. Harrold, G. Rothermel, K. Sayre, R. Wu, and L. Yi. An empirical investigation of the relationship between spectra differences and regression faults. Software Testing, Verification and Reliability, 10(3):171-194, 2000.
12. S. Horwitz. Identifying the semantic and textual differences between two versions of a program. In Proceedings of the Conference on Programming Language Design and Implementation, pages 234-245, 1990.
13. S. Horwitz. Tool support for improving test coverage. In Proceedings of the European Symposium on Programming, April 2002.
14. S. Horwitz and T. Reps. The use of program dependence graphs in software engineering. In Proceedings of the 14th International Conference on Software Engineering, pages 392-411, May 1992.
15. J. W. Hunt and T. G. Szymanski. A fast algorithm for computing longest common subsequences. Communications of the ACM, 20(5):350-353, May 1977.
16. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow- and controlflowbased test adequacy criteria. In Proceedings of the 16th International Conference on Software Engineering, pages 191-200, May 1994.
17. J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of Test Information to Assist Fault Localization. In Proceedings of the 24th International Conference on Software Engineering, May 2002.
18. B. Korel. Automated software test generation. IEEE Transactions on Software Engingeering., 16(8):870, Aug. 1990.
19. X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon. The Objective Caml system. http://caml.inria.fr/.
20. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In Proceedings of the Conference on Programming Language Design and Implementation, pages 141-154, 2003.
21. H. Pan and E. H. Spafford. Heuristics for automatic localization of software faults. Technical Report SERC-TR-116-P, Purdue University, 1992.
22. 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.
23. T. Reps, T. Ball, M. Das, and J. Larus. The use of program profiling for software maintenance with applications to the year 2000 problem. In Proceedings of the 6th European Software Engineering Conference, pages 432-449, Sept. 1997.
24. G. Rothermel and M. J. Harrold. Empirical studies of a safe regression test selection technique. Software Engineering, 24(6):401-419, 1998.
25. E. Y. Shapiro. Algorithmic Program Debugging. The ACM Distinguished Dissertation Series. The MIT Press, Cambridge, Massachusetts, 1983.
26. M. Shaw and D. Garlan. Software Architecture-Perspectives on an Emerging Discipline. Prentice-Hall, 1996.
27. D. B. Whalley. Automatic isolation of compiler errors. ACM Transactions on Programming Languages and Systems, 16(5):1648-1659, Sept. 1994.
28. A. Zeller. Isolating cause-effect chains from computer programs. In Proceedings of ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering, 2002.
29. A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28(2):183-200, 2002.