Computationally sound verification of source code.
Michael BackesMatteo MaffeiDominique UnruhPublished in: CCS (2010)
Keyphrases
- source code
- symbolic execution
- open source
- software systems
- open source software
- software projects
- static analysis
- source files
- software maintenance
- open source projects
- software evolution
- impact analysis
- linux kernel
- free software
- model checking
- change impact analysis
- version control
- execution traces
- test generation
- plagiarism detection
- software repositories
- software engineers
- high level
- object oriented systems
- mailing lists
- program understanding
- mining software repositories
- program comprehension
- reusable components
- artificial intelligence
- programming course