Rapid runtime system verification using automatic source code instrumentation.
Doron DrusinskyJ. Bret MichaelMan-tak ShingPublished in: SoSE (2011)
Keyphrases
- source code
- symbolic execution
- software systems
- open source
- open source software
- software maintenance
- software projects
- static analysis
- high level
- impact analysis
- software evolution
- open source projects
- object oriented systems
- plagiarism detection
- version control
- program understanding
- linux kernel
- text files
- visual basic
- test generation
- legacy software
- software engineers
- program slicing
- manual inspection
- bug localization
- real world
- source code metrics
- execution traces
- maintenance activities
- program comprehension
- java card
- legacy systems
- software repositories
- case study
- artificial intelligence