Extending Source Code Generators for Evidence-Based Software Certification.
Ewen DenneyBernd FischerPublished in: ISoLA (2006)
Keyphrases
- source code
- software systems
- open source
- software projects
- software maintenance
- software evolution
- static analysis
- open source software
- bug localization
- open source projects
- source files
- software artifacts
- program understanding
- maintenance activities
- software engineers
- mining software repositories
- free software
- version control
- white box
- high level
- program comprehension
- plagiarism detection
- software repositories
- object oriented systems
- linux kernel
- execution traces
- legacy systems
- legacy software
- software design
- website
- reusable components
- software metrics
- manual inspection
- program slicing
- visual basic