Stepwise abstraction of high-level system specifications from source code.
Flavio FerrarottiMichael MoserJosef PichlerPublished in: J. Comput. Lang. (2020)
Keyphrases
- source code
- high level
- software systems
- software maintenance
- software projects
- open source software
- static analysis
- open source projects
- written in natural language
- execution traces
- open source
- programming language
- software evolution
- plagiarism detection
- software repositories
- object oriented systems
- symbolic execution
- free software
- mining software repositories
- code reuse
- program understanding
- text files
- real world