Locating causes of program failures

Proceedings - 27th International Conference on Software Engineering, ICSE05

Volumn , Issue , 2005, Pages 342-351

  Cleve, Holger ^a   Zeller, Andreas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Adaptive testing; Automated debugging; Program analysis; Tracing

Indexed keywords

COMPUTATIONAL METHODS; ERROR ANALYSIS; FAILURE ANALYSIS;

ADAPTIVE TESTING; AUTOMATED DEBUGGING; PROGRAM ANALYSIS; TRACING;

SOFTWARE ENGINEERING;

EID: 85087536959     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1062455.1062522     Document Type: Conference Paper

References (19)

1. Asklgor web site, http://www.askigor.org/.
2. H. Agrawal and I. R. Horgan. Dynamic program slicing. In Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation (PLDI), volume 25(6) of ACM SIGPLAN Notices, pages 246-256, White Plains, New York, June 1990.
3. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1-25, Feb. 2001.
4. A. Groce. Error explanation with distance metrics. In Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 108-122, 2004.
5. 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.
6. S. Horwitz and T. Reps. The use of program dependence graphs in software engineering. In Proc. 14th International Conference on Software Engineering, pages 392-411, 1992.
7. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proc. 16th International Conference on Software Engineering, pages 191-200, May 1994.
8. J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In Proc. International Conference on Software Engineering (ICSE), pages 467-477, Orlando, Florida, May 2002.
9. B. Korel and J. Laski. Dynamic slicing of computer programs. The Journal of Systems and Software, 13(3):187-195, Nov. 1990.
10. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In Proc. of the SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI), San Diego, California, June 2003.
11. B. Pytlik, M. Renieris, S. Krishnamurthi, and S. Reiss. Automated fault localization using potential invariants. In M. Ronsse, editor, Proc. Fifth Int. Workshop on Automated and Algorithmic Debugging (AADEBUG), Ghent, Belgium, Sept. 2003.
12. M. Renieris and S. P. Reiss. Fault localization with nearest neighbor queries. In Proc. 18th Int. Conference on Automated Software Engineering, Montreal, Canada, 2003.
13. G. Rothermel and M. J. Harrold. Empirical studies of a safe regression test selection technique. Software Engineering, 24(6):401-419, 1998.
14. J. M. Voas. PIE: a dynamic failure-based technique. IEEE Transactions on Software Engineering, 18(8):717-727, 1992.
15. M. Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446-452, 1982.
16. A. Zeller. Isolating cause-effect chains from computer programs. In W. G. Griswold, editor, Proc. Tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-10), pages 1-10, Charleston, South Carolina, Nov. 2002. ACM Press.
17. A. Zeller. Why does my program fail? A guide to automated debugging. Morgan Kaufmann Publishers, August 2005. To appear (ISBN 1-55860-866-4).
18. A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28(2): 183-200, Feb. 2002.
19. T. Zimmermann and A. Zeller. Visualizing memory graphs. In S. Diehl, editor, Proc. of the International Dagstuhl Seminar on Software Visualization, volume 2269 of Lecture Notes in Computer Science, pages 191-204, Dagstuhl, Germany, May 2002. Springer-Verlag.