Verification of Source Code Transformations by Program Equivalence Checking.
K. C. ShashidharMaurice BruynoogheFrancky CatthoorGerda JanssensPublished in: CC (2005)
Keyphrases
- source code
- symbolic execution
- static analysis
- program understanding
- execution traces
- open source
- program slicing
- software systems
- test generation
- software maintenance
- program comprehension
- software projects
- text files
- open source projects
- test data generation
- programming language constructs
- linux kernel
- plagiarism detection
- open source software
- software repositories
- mining software repositories
- legacy systems
- programs written
- authorship attribution
- formal verification
- reverse engineer
- programming course
- software evolution
- computer programs
- impact analysis
- object oriented systems
- software architecture
- test cases
- operating system
- version control
- fault localization
- programming language
- high level
- specification language
- legacy software
- case study