Automated Debugging Using Path-Based Weakest Preconditions
作者： Haifeng He , Neelam Gupta
DOI: 10.1007/978-3-540-24721-0_20
关键词:
摘要: Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate correct a program can significantly reduce cost software development. In this paper, we present new approach an statement function. We assume specification function available form preconditions postconditions Our combines ideas from testing weakest used correctness proof methods likely statement. have implemented our conducted experiments with several small experiments, was able large number cases. preliminary experimental results show that has potential for development automated bug location correction tool.
springer.com
core.ac.uk
sci-hub.se 参考文章(19)
Raimondas Lencevicius, Static Query-Based Debugging Springer, Boston, MA. pp. 17- 48 ,(2000) , 10.1007/978-1-4419-8774-7_3
Ehud Yehuda Shapiro, Algorithmic Program Debugging ,(1983)
Bogdan Korel, Juergen Rilling, Application of Dynamic Slicing in Program Debugging Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97). pp. 43- 57 ,(1997)
Raimondas Lencevicius, On-the-fly query-based debugging with examples. AADEBUG. ,(2000)
H. Agrawal, J.R. Horgan, S. London, W.E. Wong, Fault localization using execution slices and dataflow tests international symposium on software reliability engineering. pp. 143- 151 ,(1995) , 10.1109/ISSRE.1995.497652
Lori A. Clarke, Debra J. Richardson, The application of error-sensitive testing strategies to debugging Sigplan Notices. ,vol. 8, pp. 45- 52 ,(1983) , 10.1145/1006142.1006158
Jeremy W. Nimmer, Michael D. Ernst, Invariant inference for static checking: Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10. pp. 11- 20 ,(2002) , 10.1145/587051.587054
Jeremy W. Nimmer, Michael D. Ernst, Invariant inference for static checking ACM SIGSOFT Software Engineering Notes. ,vol. 27, pp. 11- 20 ,(2002) , 10.1145/605466.605469
K. Rustan M. Leino, Raymie Stata, James B. Saxe, Checking Java Programs via Guarded Commands workshop on object oriented technology. pp. 110- 111 ,(1999)
J. Strother Moore, Robert S. Boyer, A Computational Logic Handbook ,(1988)