Experience in functional-level test generation and fault coverage in a silicon compiler.

Published in: EURO-DAC (1990)

Keyphrases

test generation
test cases
design automation
software testing
static analysis
symbolic execution
machine learning
low cost
high density
quality assurance
test sequences
database
computer vision