Business Rule Extraction from Legacy Code. - Hai Huang 011; Wei-Tek Tsai; Sourav Bhattacharya; Xiaoping Chen; Yamin Wang; Jianhua Sun (COMPSAC, 1996)

Omega - an integrated environment for C++ program maintenance. - Xiaoping Chen; Wei-Tek Tsai; Hai Huang 011; Mustafa H. Poonawala; Sanjai Rayadurgam; Yamin Wang (ICSM, 1996)

Generalized Program Slicing for Software Maintenance. - Hai Huang 011; Wei-Tek Tsai; Satish Subramanian (SEKE, 1996)

Business rule extraction techniques for COBOL programs. - Hai Huang 011; Wei-Tek Tsai; Sourav Bhattacharya; Xiaoping Chen; Yamin Wang; Jianhua Sun (J. Softw. Maintenance Res. Pract., 1998)

VSAM conversion for COBOL programs. - Hai Huang 011; Wei-Tek Tsai (J. Softw. Maintenance Res. Pract., 1999)

Testing Web Services Using Progressive Group Testing. - Wei-Tek Tsai; Yinong Chen; Zhibin Cao; Xiaoying Bai; Hai Huang 011; Raymond A. Paul (AWCC, 2004)

Cooperative and Group Testing in Verification of Dynamic Composite Web Services. - Wei-Tek Tsai; Yinong Chen; Raymond A. Paul; Ning Liao; Hai Huang 011 (COMPSAC Workshops, 2004)

Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. - Wei-Tek Tsai; Weiwei Song; Raymond A. Paul; Zhibin Cao; Hai Huang 011 (COMPSAC, 2004)

A software reliability model for web services. - Wei-Tek Tsai; Dawei Zhang; Yinong Chen; Hai Huang 011; Raymond A. Paul; Ning Liao (IASTED Conf. on Software Engineering and Applications, 2004)

Approximation Algorithms for the Mobile Piercing Set Problem with Applications to Clustering in Ad-Hoc Networks. - Hai Huang 011; Andréa W. Richa; Michael Segal 001 (Mob. Networks Appl., 2004)

Autonomous Hot Patching for Web-Based Applications. - Hai Huang 011; Wei-Tek Tsai; Yinong Chen (COMPSAC (2), 2005)

Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services. - Wei-Tek Tsai; Yinong Chen; Raymond A. Paul; Hai Huang 011; Xinyu Zhou; Xiao Wei 001 (COMPSAC (1), 2005)

Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing. - Wei-Tek Tsai; Yinong Chen; Dawei Zhang; Hai Huang 011 (ICDCS Workshops, 2005)

Developing and assuring trustworthy Web services. - Wei-Tek Tsai; Xiao Wei 001; Yinong Chen; Bingnan Xiao; Raymond A. Paul; Hai Huang 011 (ISADS, 2005)

Proof Slicing with Application to Model Checking Web Services. - Hai Huang 011; Wei-Tek Tsai; Raymond A. Paul (ISORC, 2005)

Automated Model Checking and Testing for Composite Web Services. - Hai Huang 011; Wei-Tek Tsai; Raymond A. Paul; Yinong Chen (ISORC, 2005)

Dynamic Coverage in Ad-Hoc Sensor Networks. - Hai Huang 011; Andréa W. Richa; Michael Segal 001 (Mob. Networks Appl., 2005)

Scheduling Simulation in a Distributed Wireless Embedded System. - Yinong Chen; Hai Huang 011; Wei-Tek Tsai (Simul., 2005)

Binary analysis and automated hot patching for Web-based applications. - Hai Huang 011; Wei-Tek Tsai; Yinong Chen (Inf. Softw. Technol., 2006)

Mutual Embeddings. - Ilker Nadi Bozkurt; Hai Huang 011; Bruce M. Maggs; Andréa W. Richa; Maverick Woo (J. Interconnect. Networks, 2015)