DIATEST: A Fast Diagnostic Test Pattern Generator for Combinational Circuits. - Torsten Grüning; Udo Mahlstedt; Hartmut Koopmeiners (ICCAD, 1991)