Dual-Mode Logic for Function-Independent Fault Testing.

Sumit Dasgupta Carlos R. P. Hartmann Luther D. Rudolph

Published in: IEEE Trans. Computers (1980)

Keyphrases

sound and complete axiomatization
fault diagnosis
multi valued
fault model
test cases
search engine
test data
piecewise linear
database
horn clauses
computational properties
multiple faults