Rule-based testability rule check program. - Yasushi Koseko; C. Hiramine; Takuji Ogihara; Shinichi Murai (ICCD, 1990)