Weiwen Xie

Publication Activity (10 Years)

Years Active: 1993-1998
Publications (10 Years): 0

Publications

Yigang Chen, Wei-Tek Tsai, Jian Liu, Weiwen Xie
Static identifying of synchronization faults in dynamic-multithreaded applications. CATA (1998)
Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula
A Framework for Systematic Testing of Software Specifications. SEKE (1993)