A Framework of High-quality Transition Fault ATPG for Scan Circuits | IEEE Conference Publication | IEEE Xplore