A Framework of High-quality Transition Fault ATPG for Scan Circuits. - Seiji Kajihara; Shohei Morishima; Akane Takuma; Xiaoqing Wen; Toshiyuki Maeda; Shuji Hamada; Yasuo Sato (ITC, 2006)