Reliability theory of program testing
- 1 January 1981
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 16 (1) , 31-43
- https://doi.org/10.1007/bf00289588
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Error Sensitive Test Cases Analysis (ESTCA)IEEE Transactions on Software Engineering, 1980
- Hints on Test Data Selection: Help for the Practicing ProgrammerComputer, 1978
- Algebraic program testingActa Informatica, 1978
- Testing Programs with the Aid of a CompilerIEEE Transactions on Software Engineering, 1977
- Testing programs with finite sets of dataThe Computer Journal, 1977
- Reliability of the Path Analysis Testing StrategyIEEE Transactions on Software Engineering, 1976
- Toward a theory of test data selectionPublished by Association for Computing Machinery (ACM) ,1975
- A patent problem for abstract programming languages; machine-independent computationsPublished by Association for Computing Machinery (ACM) ,1972