On Applying Incremental Satisfiability to Delay Fault Testing.

Joonyoung Kim Jesse Whittemore Karem A. Sakallah João P. Marques Silva

Published in: DATE (2000)

Keyphrases

fault model
fault diagnosis
incremental learning
propositional logic
satisfiability problem
fault detection
decision procedures
data driven
test cases
database
neural network
computational complexity
failure modes
critical path