Extracting High-Level System Specifications from Source Code via Abstract State Machines.
Flavio FerrarottiJosef PichlerMichael MoserGeorg BuchgeherPublished in: MEDI (2019)
Keyphrases
- source code
- high level
- open source software
- software systems
- written in natural language
- execution traces
- software maintenance
- static analysis
- open source
- software projects
- open source projects
- symbolic execution
- java code
- software evolution
- linux kernel
- plagiarism detection
- automated tools
- software artifacts
- software repositories
- visual basic
- programming language
- impact analysis
- reusable components
- code examples
- program comprehension
- legacy systems
- free software
- object oriented