Xiaoming Yu Jue Wu Elizabeth M. Rudnick Diagnostic test generation for sequential circuits. 225-234 2000 conf/itc/2000 ITC db/conf/itc/itc2000.html#YuWR00