Keyphrases
- test cases
- asynchronous circuits
- fault model
- built in self test
- fault diagnosis
- logic circuits
- cellular automata
- fault detection
- logic programming
- fault models
- multiple faults
- software testing
- data sets
- classical logic
- automated reasoning
- predicate logic
- multi valued
- software development
- test generation
- computational properties
- model based diagnosis
- test data
- test set