The Derivation of Functional Specifications from Source Code.
William E. HowdenSuehee PakPublished in: APSEC (1996)
Keyphrases
- source code
- open source
- written in natural language
- high level
- software systems
- execution traces
- software projects
- static analysis
- open source software
- software repositories
- software maintenance
- java code
- automated tools
- open source projects
- version control
- plagiarism detection
- mining software repositories
- program slicing
- source files
- manual inspection
- artificial intelligence
- linux kernel
- symbolic execution
- bug reports
- object oriented systems
- software evolution
- specification language
- formal specification
- maintenance activities
- free software
- software artifacts
- impact analysis