Automated Debugging Using Path-Based Weakest Preconditions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2984, Issue , 2004, Pages 267-280

  He, Haifeng ^a   Gupta, Neelam ^a  

^a University of Arizona   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; ELECTRIC FAULT LOCATION; LOCATION; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SOFTWARE TESTING;

AUTOMATED DEBUGGING; AUTOMATED TOOLS; CORRECTNESS PROOFS; NEW APPROACHES; POSTCONDITION; SOFTWARE DEBUGGING; WEAKEST PRECONDITION;

PROGRAM DEBUGGING;

EID: 35048826727     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24721-0_20     Document Type: Article

References (19)

1. H. Agrawal, J. R. Horgan, S. London and W. E. Wong, "Fault localization using execution slices and dataflow tests", Proceedings of the Sixth IEEE International Symposium on Software Reliability Engineering, pages 143-151, Toulouse, France, October 1995.
2. R. S. Boyer and J. S. Moore "A Computational Logic Handbook", Academic Press, Boston.
3. L. A. Clarke and D. J. Richardson, "The application of error-sensitive testing strategies to debugging", Proceedings of the Symposium on High-Level Debugging, pages 45-52, 1983.
4. R. A. DeMillo, H. Pan and E. H. Spafford, "Critical slicing for software fault localization", Proceedings of the International Symposium on Sofavare Testing and Analysis, pages 121-134, San Diego, CA, 1996.
5. E. W. Dijkstra, "A Discipline of Programming", Prentice Hall, Englewood Cliffs, NJ, 1976.
6. C. Ghezzi, M. Jazayeri and D. Mandrioli, "Fundamentals of Software Engineering", Second Edition, Prentice Hall, 2003.
7. D. Gries, "The Science of Programming", Springer-Verlag, 1981.
8. S. Hangal and M. S. Lam, "Tracking down software bugs using automatic anomaly detection", Proceedings of the International Conference on Software Engineering, May, 2002,
9. R. Hildebrandt and A. Zeller, "Simplifying failure-inducing input", Proceedings of the International Symposium on Software Testing and Analysis, pages 135-145, 2000.
10. J. A. Jones, M. J. Harrold and J. Stasko, "Visualization of test information to assist fault localization", Proceedings of the 24th International Conference on Software Engineering, Orlando, Florida, USA, May 2002, pp. 467-477.
11. B. Korel and J. Rilling, "Application of dynamic slicing in program debugging", Automated and Algorithmic Debugging, pages 43-58, 1997.
12. K. R. M. Leino, J. B. Saxe and R. Stata, "Checking Java programs via guarded commands", Compaq SRC Technical Note # 1999-002, Palo Alto, CA, 1999.
13. K. R. M. Leino, T. Millstein, and J. B. Saxe. "Generating error traces from verificationcondition counterexamples", http://research. microsoft.com/leino/papers.html.
14. R. Lencevicius, "On-the-fly query-based debugging with examples", Automated and Algorithmic Debugging, 2000.
15. J. R. Lyle and M. Weiser, "Automatic program bug location by program slicing", Proceedings of the 2nd International Conference on Computers and Applications, pages 877-882, 1987.
16. J. W. Nimmer and M. D. Ernst. "Invariant inference for static checking", Proceedings of the ACM/SIGSOFT Symposium on the Foundations of Software Engineering, pages 11-20, Charleston, SC, November 2002.
17. M. Renieris and S. Reiss, "Fault localization with nearest neighbor queries", Proceedings of the 18th IEEE International Conference on Automated Software Engineering, October 2003.
18. E. Y. Shapiro, "Algorithmic Program Debugging", The MIT Press, 1983.
19. A. Zeller, "Isolating cause-effect chains from computer programs", Proceedings of the ACM/SIGSOFT International Symposium on Foundations of Software Engineering, 2002.