An Approach to Program Testing
- 1 September 1975
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 7 (3), 113-128
- https://doi.org/10.1145/356651.356652
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Methodology for the Generation of Program Test DataIEEE Transactions on Computers, 1975
- An Assessment of Techniques for Proving Program CorrectnessACM Computing Surveys, 1972
- On Finding the Paths Through a NetworkBell System Technical Journal, 1972