Keyphrases
- model based diagnosis
- test generation
- test cases
- symbolic execution
- model based reasoning
- consistency based diagnosis
- diagnostic reasoning
- quality assurance
- dynamic systems
- design automation
- static analysis
- fault localization
- discrete event systems
- physical systems
- constraint programming
- fault models
- repair actions
- code coverage
- data sets
- software testing
- open source
- knowledge based systems
- object oriented
- data model
- databases