Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs.
Joshua Heneage DawesDomenico BianculliPublished in: RV (2021)
Keyphrases
- source code
- free software
- open source
- software systems
- text files
- open source software
- program slicing
- symbolic execution
- software maintenance
- software projects
- static analysis
- plagiarism detection
- programs written
- version control
- impact analysis
- open source projects
- software evolution
- programming language constructs
- execution traces
- software repositories
- linux kernel
- maintenance activities
- bug reports
- high level
- mining software repositories
- legacy software
- real world