Keyphrases
- fault localization
- programming paradigms
- programming language
- software testing
- data abstraction
- constraint logic programming
- model based diagnosis
- fault detection
- search algorithm
- parallel programming
- test suite
- general purpose
- test cases
- object oriented
- fault diagnosis
- constraint programming
- complex systems
- state space