Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code
K. C. ShashidharMaurice BruynoogheFrancky CatthoorGerda JanssensPublished in: CoRR (2007)
Keyphrases
- source code
- symbolic execution
- open source
- software systems
- open source software
- software projects
- static analysis
- software maintenance
- high level
- model checking
- plagiarism detection
- object oriented systems
- program comprehension
- mining software repositories
- software engineers
- source files
- open source projects
- test generation
- maintenance activities
- code reuse
- execution traces
- programming course
- software artifacts
- formal verification
- linux kernel
- software repositories
- free software
- manual inspection
- software quality
- visual basic