Hai Huang

Publication Activity (10 Years)

Years Active: 1996-2006
Publications (10 Years): 0

Publications

Hai Huang, Wei-Tek Tsai, Yinong Chen
Binary analysis and automated hot patching for Web-based applications. Inf. Softw. Technol. 48 (12) (2006)
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen
Automated Model Checking and Testing for Composite Web Services. ISORC (2005)
Wei-Tek Tsai, Yinong Chen, Dawei Zhang, Hai Huang
Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing. ICDCS Workshops (2005)
Hai Huang, Wei-Tek Tsai, Yinong Chen
Autonomous Hot Patching for Web-Based Applications. COMPSAC (2) (2005)
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Huang, Xinyu Zhou, Xiao Wei
Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services. COMPSAC (1) (2005)
Wei-Tek Tsai, Xiao Wei, Yinong Chen, Bingnan Xiao, Raymond A. Paul, Hai Huang
Developing and assuring trustworthy Web services. ISADS (2005)
Yinong Chen, Hai Huang, Wei-Tek Tsai
Scheduling Simulation in a Distributed Wireless Embedded System. Simul. 81 (6) (2005)
Hai Huang, Andréa W. Richa, Michael Segal
Dynamic Coverage in Ad-Hoc Sensor Networks. Mob. Networks Appl. 10 (1-2) (2005)
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
Proof Slicing with Application to Model Checking Web Services. ISORC (2005)
Wei-Tek Tsai, Yinong Chen, Zhibin Cao, Xiaoying Bai, Hai Huang, Raymond A. Paul
Testing Web Services Using Progressive Group Testing. AWCC (2004)
Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang, Raymond A. Paul, Ning Liao
A software reliability model for web services. IASTED Conf. on Software Engineering and Applications (2004)
Wei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin Cao, Hai Huang
Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. COMPSAC (2004)
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Ning Liao, Hai Huang
Cooperative and Group Testing in Verification of Dynamic Composite Web Services. COMPSAC Workshops (2004)
Hai Huang, Wei-Tek Tsai
VSAM conversion for COBOL programs. J. Softw. Maintenance Res. Pract. 11 (5) (1999)
Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun
Business rule extraction techniques for COBOL programs. J. Softw. Maintenance Res. Pract. 10 (1) (1998)
Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun
Business Rule Extraction from Legacy Code. COMPSAC (1996)
Xiaoping Chen, Wei-Tek Tsai, Hai Huang, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang
Omega - an integrated environment for C++ program maintenance. ICSM (1996)
Hai Huang, Wei-Tek Tsai, Satish Subramanian
Generalized Program Slicing for Software Maintenance. SEKE (1996)