Test Data as an Aid in Proving Program Correctness

Proofs of program correctness tend to be long
and tedious, whereas testing, though useful in 
detecting errors, usually does not guarantee correctness.
 This paper introduces a techniques whereby 
test data can be used in proving program correctness.
 In addition to simplifying the process of proving 
correctness, this method simplifies the process of providing
accurate specification for a program.  The 
applicability of this technique to procedures
and recursive programs is demonstrated.

CACM May, 1978

Geller, M.

Program verification, program testing, recursive programs

4.22 4.6 5.24

CA780503 DH February 26, 1979  2:10 PM

2874	4	3104
2981	4	3104
3030	4	3104
3077	4	3104
3104	4	3104
3104	4	3104
2457	5	3104
2683	5	3104
3104	5	3104
3104	5	3104
3104	5	3104
3170	5	3104
3055	6	3104
3104	6	3104