Determining path feasibility for commercial programs
- 1 March 1988
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 23 (3) , 93-101
- https://doi.org/10.1145/43895.43905
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A Domain Strategy for Computer Program TestingIEEE Transactions on Software Engineering, 1980
- An empirical analysis of COBOL programsSoftware: Practice and Experience, 1979
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- Inductive methods for proving properties of programsCommunications of the ACM, 1973