Keyphrases
- program slicing
- fault localization
- program understanding
- software testing
- source code
- formal verification
- model based diagnosis
- fault detection
- description languages
- data abstraction
- software maintenance
- artificial intelligence
- software systems
- neural network
- open source
- database systems
- test cases
- regression testing
- case study