Login / Signup
SAT-based ATPG testing of inter- and intra-gate bridging faults.
Toru Nakura
Yutaro Tatemura
Görschwin Fey
Makoto Ikeda
Satoshi Komatsu
Kunihiro Asada
Published in:
ECCTD (2009)
Keyphrases
</>
test cases
fault model
fault diagnosis
software testing
fault detection
multiple faults
answer set programming
model based diagnosis
root cause
neural network
information technology
software engineering
orders of magnitude
planning problems
test generation
bounded model checking