A Partially-Exhaustive Gate Transition Fault Model | IEEE Conference Publication | IEEE Xplore