Identifying Tests for Logic Fault Models Involving Subsets of Lines without Fault Enumeration.

Irith Pomeranz Sudhakar M. Reddy

Published in: VLSI Design (2010)

Keyphrases

fault models
model based diagnosis
fault management
fault model
horn clauses
conflict resolution
network management
search space
model checking
fault tolerance
inductive logic programming
dynamic systems
databases
knowledge based systems
domain knowledge
prior knowledge
artificial intelligence
data mining