A High Level Test Pattern Generation Algorithm. - Masato Kawai; Hideo Shibano; Shigehiro Funatsu; Shunichi Kato; T. Kurobe; K. Ookawa; Tohru Sasaki (ITC, 1983)