Validation, Verification, and Testing of Computer Software
Open Access
- 1 June 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 14 (2), 159-192
- https://doi.org/10.1145/356876.356879
Abstract
No abstract availableThis publication has 29 references indexed in Scilit:
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- Applicability of Software Validation Techniques to Scientific ProgramsACM Transactions on Programming Languages and Systems, 1980
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- Perspectives in Software EngineeringACM Computing Surveys, 1978
- On a political pamphlet from the middle agesACM SIGSOFT Software Engineering Notes, 1978
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- An Introduction to Proving the Correctness of ProgramsACM Computing Surveys, 1976
- Symbolic execution and program testingCommunications of the ACM, 1976
- A program data flow analysis procedureCommunications of the ACM, 1976