Verification and diagnosis of testing equivalence and reduction relation.
Zhongping TaoGregor von BochmannRachida DssouliPublished in: ICNP (1995)
Keyphrases
- formal verification
- test generation
- equivalence relation
- symbolic execution
- model checking
- safety analysis
- fault diagnosis
- fault model
- fault detection
- signature verification
- root cause analysis
- reduction method
- model based diagnosis
- medical diagnosis
- knowledge base
- formal methods
- data sets
- asynchronous circuits
- verification method
- clinically relevant
- rough set theory
- test cases
- concurrent systems
- diagnostic tests
- test set
- multiple faults