Applying source-code verification to a microkernel: the VFiasco project.
Michael HohmuthHendrik TewsShane G. StephensPublished in: ACM SIGOPS European Workshop (2002)
Keyphrases
- source code
- software projects
- open source projects
- open source
- version control
- symbolic execution
- open source software projects
- software systems
- free software
- mailing lists
- open source software
- open source java
- static analysis
- software maintenance
- case study
- project management
- plagiarism detection
- source files
- development team
- program understanding
- software development
- software repositories
- model checking
- software quality
- high level
- text files
- execution traces
- linux kernel
- impact analysis
- program comprehension
- software evolution
- legacy systems
- mining software repositories
- artificial intelligence