A new approach to program testing

Proceedings of the 1975 International Conference on Reliable Software

Volumn , Issue , 1975, Pages 228-233

  King, James C ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Program correctness; Program debugging; Program proving; Program testing; Program verification; Symbolic execution; Symbolic interpretation

Indexed keywords

EID: 85059153513     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800027.808444     Document Type: Conference Paper

References (8)

1. Deutsch, L.P. An interactive program verifier, Ph.D. dissertation, Dept. Corap. Sci., Univ. of Calif., Berkeley CA., May 1973.
2. Floyd, R.W. Assigning meanings to programs, Proc. Symp. Appl. Math., Amer. Math. Soc, vol. 19, pp. 19-32, 1967.
3. Good, D.I. Toward a man-machine system for proving program correctness, Ph.D. dissertation, Comp. Sci. Dept., Univ. of Wise., Madison, Wise, June 1970.
4. King, J.C., Floyd, R.W. ' An interpretation oriented theorem prover over integers, Journal of Comp., Sys. Sci., vol. 6, no. 4, August 1972, pp. 305-323.
5. King, J.C. A program verifier, IFIP Congress 71 Proc, Aug. 1971, pp. 235-249.
6. Sites, R.L. Proving that computer programs terminate cleanly, Ph.D. dissertation, Comp. Sci. Dept., Stanford Univ., Stanford, CA., May 1974.
7. Topor, R. W. Interactive program verification using virtual programs, Ph.D. dissertation, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland, February 1975.
8. Topor, R. W., Burstall, R. M. Verification of programs by symbolic execution-progress report, unpublished report, Dept. of Mach. Intelligence, Univ. of Edinburgh, Edinburgh, Scotland, December 1973.