Test generation for sequential circuits using parallel fault simulation with random inputs. - Yuzo Takamatsu; Isao Higashi; Tsuyoshi Kodama (Syst. Comput. Jpn., 1995)