Automatic functional verification of memory oriented global source code transformations.
K. C. ShashidharMaurice BruynoogheFrancky CatthoorGerda JanssensPublished in: HLDVT (2003)
Keyphrases
- source code
- functional verification
- open source
- software systems
- open source software
- software projects
- software maintenance
- static analysis
- plagiarism detection
- open source projects
- free software
- software artifacts
- software evolution
- high level
- visual basic
- bug reports
- execution traces
- version control
- source files
- programming language
- computational intelligence
- program understanding
- maintenance activities
- text files
- multi agent systems
- real world
- open source software projects