RTL functional test generation using factored concolic execution.

Sonal Pinto Michael S. Hsiao

Published in: ITC (2017)

Keyphrases

test generation
symbolic execution
test cases
test sequences
static analysis
quality assurance
testing process
design automation
software testing
mutation testing
state space
regression testing
test data generation
machine learning
code coverage