Proceedings of the ACM SIGSOFT International Symposium on Software Testing
and Analysis
(ISSTA '02),
ACM Press, New York, NY, pp. 191-195 (2002) |
T.Y. Chen 2 , T.H. Tse 3 , and Zhi Quan Zhou 3
ABSTRACT |
We present a semi-proving method for verifying necessary conditions
for program correctness.
Our approach is based on the integration of global symbolic evaluation
and metamorphic testing.
It is relatively easier than conventional program proving,
and helps to alleviate the problem that software testing
cannot show the absence of faults.
Keywords: Semi-proving, program proving, program testing, metamorphic testing, symbolic execution, global symbolic evaluation. |
|
EVERY VISITOR COUNTS: |