Keyphrases
- source code
- high level
- open source
- software systems
- open source software
- software maintenance
- static analysis
- software projects
- symbolic execution
- software repositories
- open source projects
- linux kernel
- program understanding
- execution traces
- legacy systems
- version control
- manual inspection
- case study
- change impact analysis
- object oriented systems
- plagiarism detection
- free software
- software evolution
- program slicing
- mining software repositories
- software engineers