Keyphrases
- program understanding
- static analysis
- source code
- fault localization
- dynamic analysis
- reverse engineering
- software maintenance
- open source
- software systems
- program comprehension
- abstract interpretation
- high level
- software projects
- human computer interaction
- fault detection
- test suite
- software testing
- software engineers
- database management
- building blocks
- knowledge base