Tao Huang

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

Tao Huang, Anthony Chung
Finding Narrow Input/Output (NIO) Sequences by Model Checking. SERA (2008)
Tao Huang, Anthony Chung
A Lightweight Executable Test Sequence Generation Method for Communication Protocols Modeled by EFSM. Int. J. Comput. Their Appl. 13 (2) (2006)
Anthony Chung, Tao Huang
Two Approaches for the Improvement in Testability of Communication Protocols. ACIS-ICIS (2005)
Tao Huang, Anthony Chung
An Effective Method for Executable Test Generation of EFSM Protocols. IASSE (2003)
Anthony Chung, Tao Huang
An Experiment in the Generation of Executable Test Sequences for the Inres Protocol. SNPD (2003)