Test case selection using VDM
- 1 January 1988
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 178-186
- https://doi.org/10.1007/3-540-50214-9_16
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Pseudoexhaustive test pattern generator with enhanced fault coverageIEEE Transactions on Computers, 1988
- Verification Testing—A Pseudoexhaustive Test TechniqueIEEE Transactions on Computers, 1984
- Exhaustive Generation of Bit Patterns with Applications to VLSI Self-TestingIEEE Transactions on Computers, 1983
- On structured digraphs and program testingIEEE Transactions on Computers, 1981
- LSI logic testing — An overviewIEEE Transactions on Computers, 1981
- On the Automated Generation of Program Test DataIEEE Transactions on Software Engineering, 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
- Toward a theory of test data selectionPublished by Association for Computing Machinery (ACM) ,1975