A simulation-based approach to test pattern generation for synchronous sequential circuits. - Paolo Camurati; Fulvio Corno; Fulvio Prinetto; Matteo Sonza Reorda (VTS, 1992)