Keyphrases
- software engineering
- software systems
- programming language
- fault diagnosis
- model based diagnosis
- medical diagnosis
- artificial intelligence
- reverse engineering
- clinically relevant
- software engineers
- software design
- human computer interaction
- software development
- machine learning
- software projects
- formal methods
- model based reasoning
- multiple faults