Relationship between specifications and testing
- 28 February 1991
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 33 (1) , 47-52
- https://doi.org/10.1016/0950-5849(91)90023-5
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Automated test case generation for programs specified by relational algebra queriesIEEE Transactions on Software Engineering, 1990
- Program verification: the very ideaCommunications of the ACM, 1988
- Introduction to special section on software testingCommunications of the ACM, 1988
- A Recursion Theoretic Approach to Program TestingIEEE Transactions on Software Engineering, 1987
- Some Theory Concerning Certification of Mathematical Subroutines by Black Box TestingIEEE Transactions on Software Engineering, 1987
- An Evaluation of Random TestingIEEE Transactions on Software Engineering, 1984
- Automatic generation of random self-checking test casesIBM Systems Journal, 1983
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975