Functional Broadside Test Generation Using a Commercial ATPG Tool.

Naixing Wang Bo Yao Xijiang Lin Irith Pomeranz

Published in: ISVLSI (2017)

Keyphrases

test generation
test cases
symbolic execution
test sequences
software testing
static analysis
design automation
quality assurance
artificial intelligence
decision trees
information technology
software engineering