Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation.

Alexander Saldanha Robert K. Brayton Alberto L. Sangiovanni-Vincentelli

Published in: DAC (1992)

Keyphrases

test generation
fault diagnosis
fault detection
test cases
fault model
design automation
integrity constraints
artificial intelligence
static analysis
machine vision
data model
petri net
software systems
image data
transmission line
multi agent systems
regression testing
computer vision
database