A method of diagnostic test generation. - A. B. Carroll; M. Kato; Y. Koga; K. Naemura (AFIPS Spring Joint Computing Conference, 1969)

A method of test generation for fault location in combinational logic. - Y. Koga; C. Chen; K. Naemura (AFIPS Fall Joint Computing Conference, 1970)