Priority directed test generation for functional verification using neural networks.

Hao Shen Yuzhuo Fu

Published in: ASP-DAC (2005)

Keyphrases

test generation
functional verification
neural network
test cases
test sequences
symbolic execution
static analysis
design automation
software testing
quality assurance
formal verification
real time
low latency
database
software engineering
high level
code coverage