A Method of Diagnostic Test Generation for Transition Faults | IEEE Conference Publication | IEEE Xplore