Implication and evaluation techniques for proving fault equivalence | IEEE Conference Publication | IEEE Xplore