A fault fj is said to dominate another fault fi if all tests for fi detect fj . When two faults dominate each other, they are called equivalent. Dominance and equivalence relations among faults around a Boolean gate are called \structural" and are used for fault collapsing in large circuits. Some fault equivalences, that cannot be determined by the structural analysis, can be found by \function...