Program testing versus proofs of correctness
- 1 January 1991
- journal article
- research article
- Published by Wiley in Software Testing, Verification and Reliability
- Vol. 1 (1) , 5-15
- https://doi.org/10.1002/stvr.4370010103
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Constrained expressions: Adding analysis capabilities to design methods for concurrent software systemsIEEE Transactions on Software Engineering, 1986
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Access-Right ExpressionsACM Transactions on Programming Languages and Systems, 1983
- A Domain Strategy for Computer Program TestingIEEE Transactions on Software Engineering, 1980
- Experience with Path Analysis and Testing of ProgramsIEEE Transactions on Software Engineering, 1980
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976