SELECT—a formal system for testing and debugging programs by symbolic execution
- 1 April 1975
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 10 (6), 234-245
- https://doi.org/10.1145/390016.808445
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A new approach to program testingPublished by Association for Computing Machinery (ACM) ,1975
- The synthesis of loop predicatesCommunications of the ACM, 1974
- Proof of a programCommunications of the ACM, 1971
- Partitioning procedures for solving mixed-variables programming problemsNumerische Mathematik, 1962
- Algorithm 65: findCommunications of the ACM, 1961
- A Class of Non-Analytical Iterative ProcessesThe Computer Journal, 1959