Fault equivalence and diagnostic test generation using ATPG.
Andreas G. VenerisRobert ChangMagdy S. AbadirMandana AmiriPublished in: ISCAS (5) (2004)
Keyphrases
- test generation
- fault isolation
- test cases
- fault detection
- fault diagnosis
- test sequences
- symbolic execution
- expert systems
- diagnostic tests
- design automation
- static analysis
- software testing
- mutation testing
- test data generation
- quality assurance
- regression testing
- decision making
- model based diagnosis
- test set
- training data
- data sets