A Framework for Systematic Testing of Software Specifications. - Wei-Tek Tsai; Weiwen Xie; Imran A. Zualkernan; Satish K. Musukula (SEKE, 1993)

Static identifying of synchronization faults in dynamic-multithreaded applications. - Yigang Chen 002; Wei-Tek Tsai; Jian Liu; Weiwen Xie (CATA, 1998)