HIGAMI, et al.. Generation of Diagnostic Tests for Transition Faults Using a Stuck-at ATPG Tool. Institute of Electronics, Information and Communications Engineers (IEICE), 2012, doi:10.1587/transinf.e95.d.1093.