Using symbolic execution to characterize behavior
- 19 April 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 7 (5), 25-32
- https://doi.org/10.1145/1006258.1006263
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Operational specification as the basis for rapid prototypingPublished by Association for Computing Machinery (ACM) ,1982
- Mappings for rapid prototypingPublished by Association for Computing Machinery (ACM) ,1982
- Design Specification Validation.Published by Defense Technical Information Center (DTIC) ,1981