Efficient validation input generation in RTL by hybridized source code analysis.

Lingyi Liu Shobha Vasudevan

Published in: DATE (2011)

Keyphrases

source code
static analysis
open source
software systems
impact analysis
mining software repositories
software projects
software maintenance
open source software
program comprehension
authorship attribution
symbolic execution
manual inspection
website
software evolution
plagiarism detection