Hazard-Based Detection Conditions for Improved Transition Fault Coverage of Functional Test Sequences | IEEE Conference Publication | IEEE Xplore