Property Probes: Source Code Based Exploration of Program Analysis Results.
Anton Risberg AlakülaGörel HedinNiklas ForsAdrian PopPublished in: SLE (2022)
Keyphrases
- source code
- open source
- software systems
- software projects
- open source software
- software maintenance
- static analysis
- open source projects
- change impact analysis
- mining software repositories
- plagiarism detection
- reverse engineer
- execution traces
- linux kernel
- symbolic execution
- high level
- bug localization
- free software
- object oriented systems
- software engineers
- software evolution
- authorship attribution
- reusable components
- text files
- program comprehension
- database applications
- software repositories