SOBER: Statistical model-based bug localization

ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)

Volumn , Issue , 2005, Pages 286-295

  Liu, Chao ^a   Yan, Xifeng ^a   Fei, Long ^b   Han, Jiawei ^a   Midkiff, Samuel P ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b PURDUE UNIVERSITY   (United States)

Author keywords

Localization metrics; Statistical debugging

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SELECTION AND EVALUATION; COMPUTER SIMULATION; PROGRAM DEBUGGING; SEMANTICS;

LOCALIZATION METRICS; STATISTICAL DEBUGGING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 32344442835     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. K. Apt and E. Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, second edition, 1997.
2. Y. Brun and M. Ernst. Finding latent code errors via machine learning over program executions. In Proc. of the 26th Int. Conf. on Software Engineering (ICSE'04), pages 480-490, 2004.
3. G. Casella and R. Berger, Statistical Inference, Duxbury Press, second edition, 2001.
4. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
5. H. Cleve and A. Zeller. Locating causes of program failures. In Proc. of the 27th Int. Conf. on Software Engineering (ICSE'05), 2005.
6. W. Dickinson, D. Leon, and A. Podgurski. Finding failures by cluster analysis of execution profiles. In Proc. of the 23rd Int. Conf. on Software Engineering (ICSE'01), pages 339-348, 2001.
7. D. Engler, D. Chen, and A. Chou. Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In Symp. on Operating Systems Principles, pages 57-72, 2001.
8. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Trans. on Software Engineering, 27(2):1-25, 2001.
9. S. Hangal and M. Lam. Tracking down software bugs using automatic anomaly detection. In Proc. of the 24th Int. Conf. on Software Engineering (ICSE'02), 2002.
10. M. 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 & Reliability, 10(3):171-194, 2000.
11. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proc. of the 16th Int. Conf. on Software Engineering (ICSE'94), pages 191-200, 1994.
12. J. Jones, M. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In Proc. of the 24th Int. Conf. on Software Engineering (ICSE'02), pages 467-477, 2002.
13. E. Lehmann. Testing Statistical Hypotheses. Springer, second edition, 1997.
14. B. Liblit, A. Aiken, A. Zheng, and M. Jordan. Bug isolation via remote program sampling. In Proc. of ACM SIGPLAN 2003 Int. Conf. on Programming Language Design and Implementation (PLDI'03), pages 141-154, 2003.
15. B. Liblit, M. Naik, A. Zheng, A. Aiken, and M. Jordan. Scalable statistical bug isolation. In Proc. of ACM SIGPLAN 2005 Int. Conf. on Programming Language Design and Implementation (PLDI'05), 2005.
16. S. McCamant and M. Ernst. Predicting problems caused by component upgrades. In Proc. of the 9th European Software Engineering Conf. held jointly with 11th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering (ESEC/FSE'03), pages 287-296, 2003.
17. M. Musuvathi, D. Park, A. Chou, D. Engler, and D. Dill. Cmc: A pragmatic approach to model checking real code. In Proc. of the 5th Symp. on Operating System Design and Implementation (OSDI'02), 2002.
18. A. Podgurski, D. Leon, P. Francis, W. Masri, M. Minch, J. Sun, and B. Wang. Automated support for classifying software failure reports. In Proc. of the 25th Int. Conf. on Software Engineering (ICSE'03), pages 465-475, 2003.
19. B. Pytlik, M. Renieris, S. Krishnamurthi, and S. Reiss. Automated fault localization using potential invariants. In Proc. of the 5th Int. Workshop on Automated and Algorithmic DebuggingSymp (AADEBUG'03), pages 287-296, 2003.
20. M. Renieris and S. Reiss. Fault localization with nearest neighbor queries. In Proc. of the 18th IEEE Int. Conf. on Automated Software Engineering (ASE'03), 2003.
21. T. Reps, T. Ball, M. Das, and J. Larus. The use of program profiling for software maintenance with applications to the year 2000 problem. SIGSOFT Softw. Eng. Notes, 22(6):432-449, 1997.
22. G. Rothermel and M. Harrold. Empirical studies of a safe regression test selection technique. IEEE Trans. on Software Engineering, 24(6):401-419, 1998.
23. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. of the 15th IEEE Int. Conf. on Automated Software Engineering (ASE'00), 2000.
24. A. Zeller. Isolating cause-effect chains from computer programs. In Proc. of ACM 10th Int. Symp. on the Foundations of Software Engineering (FSE'02), 2002.
25. T. Zimmermann and A. Zeller. Visualizing memory graphs. In Revised Lectures on Software Visualization, International Seminar, pages 191-204, 2002.