An efficient diagnosis-aware pattern generation procedure for transition faults | IEEE Conference Publication | IEEE Xplore