Demonstrating Equivalence of Source Code and PROM Contents.
D. J. PaveyL. A. WinsborrowPublished in: Comput. J. (1993)
Keyphrases
- source code
- open source
- software systems
- open source software
- static analysis
- software maintenance
- software projects
- open source projects
- software repositories
- plagiarism detection
- database
- software evolution
- symbolic execution
- program comprehension
- legacy systems
- software engineers
- source files
- reverse engineer
- maintenance activities
- object oriented systems
- reusable components
- linux kernel
- high level