Scalable and systematic detection of buggy inconsistencies in source code.
Mark GabelJunfeng YangYuan YuMoisés GoldszmidtZhendong SuPublished in: OOPSLA (2010)
Keyphrases
- source code
- open source
- software systems
- software maintenance
- static analysis
- software projects
- open source projects
- open source software
- software evolution
- version control
- program understanding
- impact analysis
- plagiarism detection
- mailing lists
- object oriented systems
- software engineers
- source files
- manual inspection
- high level
- reverse engineer
- program slicing
- execution traces
- linux kernel
- symbolic execution
- software engineering