Symbolic execution and testing
- 28 February 1991
- journal article
- research article
- Published by Elsevier in Information and Software Technology
- Vol. 33 (1) , 53-64
- https://doi.org/10.1016/0950-5849(91)90024-6
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Path feasibility, linear optimizers and the evaluate standard formACM SIGPLAN Notices, 1991
- Symbolic execution systems—a reviewSoftware Engineering Journal, 1988
- Program reduction using symbolic executionACM SIGSOFT Software Engineering Notes, 1981
- Symbolic Evaluation and the Analysis of ProgramsIEEE Transactions on Software Engineering, 1979
- An empirical analysis of COBOL programsSoftware: Practice and Experience, 1979
- 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
- SELECT---a formal system for testing and debugging programs by symbolic executionPublished by Association for Computing Machinery (ACM) ,1975
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967