Branch guided functional test generation at the RTL.

Vineeth V. Acharya Sharad Bagri Michael S. Hsiao

Published in: ETS (2015)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
static analysis
software testing
quality assurance
mutation testing
database
machine learning
decision trees
complex systems
high quality
regression testing
test data generation