"A new heuristic test generation algorithm for sequential circuits."

Toshihiro Arima et al. (1974)
a service of Schloss Dagstuhl - Leibniz Center for Informatics