Life-Cycle Software Validation
- 1 February 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 15 (2) , 71-78
- https://doi.org/10.1109/mc.1982.1653943
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Functional testing and design abstractionsJournal of Systems and Software, 1980
- Symbolic Testing and the DISSECT Symbolic Evaluation SystemIEEE Transactions on Software Engineering, 1977
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- Symbolic execution and program testingCommunications of the ACM, 1976
- Some experience with automated aids to the design of large-scale reliable softwareIEEE Transactions on Software Engineering, 1975
- SELECT---a formal system for testing and debugging programs by symbolic executionPublished by Association for Computing Machinery (ACM) ,1975