A Method of Test Generation fo Path Delay Faults Using Stuck-at Fault Test Generation Algorithms.

Satoshi Ohtake Kouhei Ohtani Hideo Fujiwara

Published in: DATE (2003)

Keyphrases

test generation
significant improvement
test cases
computational complexity
fault detection
design automation
learning algorithm
image processing
error rate
static analysis
symbolic execution