Symbolic execution systems—a review
- 1 January 1988
- journal article
- review article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 3 (6) , 229-239
- https://doi.org/10.1049/sej.1988.0029
Abstract
Symbolic execution is a technique that is useful in the validation of software. It may be used to aid in the generation of test data and in program proving. As software engineering becomes more concerned with the development of tools, symbolic execution will become an important item in the toolkit. This paper gives a review of symbolic execution and its applications. A minimum set of features for a symbolic execution testing system is set out. Of the 12 systems using symbolic execution only six contain these minimum features. These six systems are compared against an ‘ideal’ system. Based on this comparison some features for a new symbolic execution testing system are outlined.Keywords
This publication has 3 references indexed in Scilit:
- An integrated verification and testing environmentSoftware: Practice and Experience, 1983
- Symbolic execution and program testingCommunications of the ACM, 1976
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967