Assume-Guarantee Verification of Source Code with Design-Level Assumptions.
Dimitra GiannakopoulouCorina S. PasareanuJamieson M. CobleighPublished in: ICSE (2004)
Keyphrases
- source code
- open source
- software systems
- object oriented systems
- open source software
- software maintenance
- symbolic execution
- software projects
- software evolution
- static analysis
- open source projects
- reverse engineer
- case study
- design process
- plagiarism detection
- linux kernel
- legacy software
- address these issues
- formal verification
- legacy systems
- program understanding
- software design
- program comprehension
- bug reports
- building blocks
- version control
- free software
- high level