Fast Sequential Circuit Test Generation Using High-Level and Gate-Level Techniques. - Elizabeth M. Rudnick; Roberto Vietti; Akilah Ellis; Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (DATE, 1998)