Login / Signup
Test Generation for Multiple-Threshold Gate-Delay Fault Model.
Michinobu Nakao
Yoshikazu Kiyoshige
Kazumi Hatayama
Yasuo Sato
Takaharu Nagumo
Published in:
Asian Test Symposium (2001)
Keyphrases
</>
test generation
fault model
test cases
design automation
symbolic execution
data sets
databases
software testing
fault injection