Directed test generation using concolic testing on RTL models.

Alif Ahmed Farimah Farahmandi Prabhat Mishra

Published in: DATE (2018)

Keyphrases

test generation
test cases
test sequences
probabilistic model
symbolic execution
database
static analysis
test data generation
design automation
real world
learning algorithm
high quality
vision system