Code Coverage of Assertions Using RTL Source Code Analysis.
Viraj AthavaleSai MaSamuel HertzShobha VasudevanPublished in: DAC (2014)
Keyphrases
- source code
- static analysis
- software systems
- open source software
- open source
- software maintenance
- mining software repositories
- software evolution
- impact analysis
- software projects
- code coverage
- manual inspection
- cooperative
- web pages
- information systems
- address these issues
- real world
- open source projects
- test generation
- version control
- database