A novel combinational testability analysis by considering signal correlation. - Shih-Chieh Chang; Shi-Sen Chang; Wen-Ben Jone; Chien-Chung Tsai (ITC, 1998)

TAIR: testability analysis by implication reasoning. - Shih-Chieh Chang; Wen-Ben Jone; Shi-Sen Chang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)