Case Studies on Transition Fault Test Generation for At-speed Scan Testing | IEEE Conference Publication | IEEE Xplore