Simulation and SAT Based ATPG for Compressed Test Generation.

Jiri Balcarek Petr Fiser Jan Schmidt

Published in: DSD (2013)

Keyphrases

test generation
test cases
test sequences
symbolic execution
static analysis
design automation
data sets
sat solvers
answer sets
quality assurance
case study
quality assessment
bounded model checking