Software testing system supported by a computer architecture. - Takanobu Baba; Shinzi Suzuki; Katsuhiro Yamazaki; Kenzo Okuda; Toshiyuki Sano (Syst. Comput. Jpn., 1986)