An Effective Method for Executable Test Generation of EFSM Protocols. - Tao Huang 019; Anthony Chung (IASSE, 2003)

An Experiment in the Generation of Executable Test Sequences for the Inres Protocol. - Anthony Chung; Tao Huang 019 (SNPD, 2003)

Two Approaches for the Improvement in Testability of Communication Protocols. - Anthony Chung; Tao Huang 019 (ACIS-ICIS, 2005)

A Lightweight Executable Test Sequence Generation Method for Communication Protocols Modeled by EFSM. - Tao Huang 019; Anthony Chung (Int. J. Comput. Their Appl., 2006)

Finding Narrow Input/Output (NIO) Sequences by Model Checking. - Tao Huang 019; Anthony Chung (SERA, 2008)