Applications of Symbolic Execution to Program Testing
- 1 April 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 11 (4) , 51-60
- https://doi.org/10.1109/c-m.1978.218139
Abstract
The advanced method of symbolic evaluation can be applied to program testing situations with results close to those of formal correctness proofs–but without the high cost.Keywords
This publication has 11 references indexed in Scilit:
- On the Automated Generation of Program Test DataIEEE Transactions on Software Engineering, 1976
- An Introduction to Proving the Correctness of ProgramsACM Computing Surveys, 1976
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- Symbolic execution and program testingCommunications of the ACM, 1976
- An Approach to Program TestingACM Computing Surveys, 1975
- Methodology for the Generation of Program Test DataIEEE Transactions on Computers, 1975
- A new approach to program testingPublished by Association for Computing Machinery (ACM) ,1975
- SELECT---a formal system for testing and debugging programs by symbolic executionPublished by Association for Computing Machinery (ACM) ,1975
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967