Symbolic Execution and Program Testing

Communications of the ACM

Volumn 19, Issue 7, 1976, Pages 385-394

  King, James C ^a  

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

Author keywords

program debugging; program proving; program testing; program verification; symbolic execution; symbolic interpretation

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC;

EFFIGY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0016971687     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/360248.360252     Document Type: Article

References (16)

1. Boyer, R.S., Elspas, B., Levitt, K.N. SELECT—A formal system for testing and debugging programs by symbolic execution. 1975 Int. Conf. on Reliable Software, April 1975, pp. 234-245.
2. Clarke, L. A system to generate test data and symbolically execute programs. Rep. No. CU-CS-060-75, Dep. of Computer Sci., U. of Colorado, Feb. 1975.
3. Darlington, J. A semantic approach to automatic program improvement. Ph.D. Th., U. of Edinburgh, 1972.
4. Deutsch, L.P. An interactive program verifier. Ph.D. Th., Dep. of Computer Sci., U. of California, Berkeley, May 1973.
5. Elspas, B., et al. An assessment of techniques for proving program correctness. Computing Surveys 4, 2 (June 1972), 97-147.
6. Floyd, R.W. Assigning meanings to programs, Proc. Symp. Appl. Math. Vol. 19, Amer. Math. Soc., Provincetown, R.I., 1967, pp.19-32.
7. King, J.C. Proving programs to be correct. IEEE Trans, on Comp. C-20, 11 (Nov. 1971), 1331-1336.
8. King, J.C. A program verifier. Proc. IFIP Cong. 71, North-Holland, Amsterdam, 1971, pp. 235-249.
9. King, J.C. and Floyd, R.W. An interpretation oriented theorem prover over integers, J. Computer Syst. Sci. 6, 4 (Aug. 1972), 305-323.
10. King, J.C. A new approach to program testing. 1975 Int. Conf. on Reliable Software, April 1975, pp. 228-233.
11. Krause, K.W., et al. Optimal software test planning through Automated network analysis. IEEE Symp. on Computer Software Reliability, April 1973, pp. 18-22.
12. Manna, Z. Mathematical Theory of Computation. McGraw-Hill, New York, 1974, Ch. 4.
13. Paterson, M.S. Equivalence problems in a model of computation. Ph.D. Th., U. of Cambridge, England, Aug. 1967. Also published as A.I. Tech. Memo No. 1 (Memo No. 211), MIT, Nov. 1970.
14. Sites, R.L. Algol W Reference Manual. Rep. CS-230 (Clearinghouse No. PB 203601), Computer Sci. Dep., Stanford U., Feb. 1972.
15. Topor, R.W., and Burstall, R.M. Verification of programs by symbolic execution—progress report. Unpublished report, Dep. of Machine Intelligence, U. of Edinburgh, Scotland, Dec. 1972.
16. Urschler, G. Complete redundant expression elimination in flow diagrams. Rep. RC4965, IBM Research, Yorktown Heights, N.Y., Aug. 1974.