Journal
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Volume 37, Issue 1, Pages 109-125Publisher
IEEE COMPUTER SOC
DOI: 10.1109/TSE.2010.23
Keywords
Software/program verification; symbolic execution; testing and debugging
Funding
- Research Grants Council of Hong Kong [717308]
- Australian Research Council [DP 0771733]
- University of Wollongong
Ask authors/readers for more resources
We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For programs where global symbolic evaluation can be conducted and the constraint expressions involved can be solved, we can either prove that these necessary conditions for program correctness are satisfied or identify all inputs that violate the conditions. For other programs, our method can be converted into a symbolic-testing approach. Our method extrapolates from the correctness of a program for tested inputs to the correctness of the program for related untested inputs. The method supports automatic debugging through the identification of constraint expressions that reveal failures.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available