BART: A Bridging Fault Test Generation for Sequential Circuits.

James P. Cusey Janak H. Patel

Published in: ITC (1997)

Keyphrases

test generation
test cases
test sequences
design automation
fault diagnosis
static analysis
symbolic execution
fault models
fault detection
software testing
mutation testing
quality assurance
test data generation
high level
open source
high speed