Specifying Constraints with Message Sequence Specifications. - Yongzhong Tu; Wei-Tek Tsai; Yang Xiang (APSEC, 1999)

Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates. - Wei-Tek Tsai; Yongzhong Tu; Weiguang Shao; Ezra Ebner (COMPSAC, 1999)