A new heuristic test generation algorithm for sequential circuits. - Toshihiro Arima; Mitsukuni Tsuboya; Goro Amamiya; Jiro Okuda (DAC, 1974)