Coverage directed test generation for functional verification using bayesian networks.

Shai Fine Avi Ziv

Published in: DAC (2003)

Keyphrases

test generation
functional verification
bayesian networks
code coverage
test cases
symbolic execution
test suite
test sequences
static analysis
software testing
design automation
quality assurance
formal verification
hardware software
open source
software engineering
feature space