Framework-Oriented Analysis. - Feng Zhu 001; Wei-Tek Tsai (COMPSAC, 1998)

Automating Regression Testing for Real-Time Software in a Distributed Environment. - Feng Zhu 001; Sanjai Rayadurgam; Wei-Tek Tsai (ISORC, 1998)

Rapid Verification of Embedded Systems Using Patterns. - Wei-Tek Tsai; Lian Yu; Feng Zhu 001; Raymond A. Paul (COMPSAC, 2003)

Verification Patterns for Rapid Embedded System Verification. - Wei-Tek Tsai; Feng Zhu 001; Lian Yu; Raymond A. Paul; Chun Fan (Embedded Systems and Applications, 2003)

Rapid Embedded System Testing Using Verification Patterns. - Wei-Tek Tsai; Lian Yu; Feng Zhu 001; Raymond A. Paul (IEEE Softw., 2005)