Automatic generation and inference of interface properties from program source code.
Mithun AcharyaPublished in: OOPSLA Companion (2006)
Keyphrases
- source code
- static analysis
- program understanding
- execution traces
- open source
- symbolic execution
- program slicing
- program comprehension
- software systems
- software maintenance
- open source software
- programming course
- legacy software
- software evolution
- programs written
- plagiarism detection
- fault localization
- software projects
- software repositories
- reverse engineering
- open source projects
- software engineers
- text files
- software artifacts
- user interface
- high level
- programming language constructs
- case study
- legacy systems
- maintenance activities
- impact analysis
- free software
- source files
- cross platform
- website
- open source java