Keyphrases
- built in self test
- test cases
- fault diagnosis
- integrated circuit
- asynchronous circuits
- modal logic
- test data
- logic programming
- statistical tests
- real time
- statistical significance
- logical framework
- databases
- multiple faults
- data sets
- fuzzy logic
- model based diagnosis
- software testing
- probability theory
- predicate logic