Keyphrases
- program slicing
- description languages
- source code
- formal verification
- fault localization
- reverse engineering
- description language
- open source
- software maintenance
- model checking
- model based diagnosis
- regression testing
- software metrics
- software testing
- artificial intelligence
- software projects
- software systems
- high level