A contribution to the theory of program testing
- 31 December 1985
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 37, 151-181
- https://doi.org/10.1016/0304-3975(85)90090-8
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Application of PROLOG to test sets generation from algebraic specificationsLecture Notes in Computer Science, 1985
- A Mathematical Framework for the Investigation of TestingIEEE Transactions on Software Engineering, 1983
- A Proposition for a Theory of Testing: An Abstract Approach to the Testing ProcessDAIMI Report Series, 1983
- Validation, Verification, and Testing of Computer SoftwareACM Computing Surveys, 1982
- Theories of Program Testing and the Application of Revealing SubdomainsIEEE Transactions on Software Engineering, 1980
- Test data as an aid in proving program correctnessCommunications of the ACM, 1978
- Toward a theory of test data selectionACM SIGPLAN Notices, 1975