Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions.
Patrick C. McGeerAlexander SaldanhaPaul R. StephanRobert K. BraytonAlberto L. Sangiovanni-VincentelliPublished in: ICCAD (1991)
Keyphrases
- test generation
- recursive functions
- inductive inference
- test cases
- symbolic execution
- design automation
- test sequences
- fault detection
- mutation testing
- shortest path
- quality assurance
- static analysis
- multicast tree
- software testing
- fault diagnosis
- data sets
- case study
- destination node
- code coverage
- error rate
- neural network