 | 2008 |
|---|
| 14 |       | Tao Huang,
Anthony Chung:
Finding Narrow Input/Output (NIO) Sequences by Model Checking.
SERA 2008: 283-289 |
| 2006 |
|---|
| 13 |  | Tao Huang,
Anthony Chung:
A Lightweight Executable Test Sequence Generation Method for Communication Protocols Modeled by EFSM.
I. J. Comput. Appl. 13(2): 60-72 (2006) |
| 2005 |
|---|
| 12 | | Anthony Chung,
Tao Huang:
Two Approaches for the Improvement in Testability of Communication Protocols.
ACIS-ICIS 2005: 562-565 |
| 2003 |
|---|
| 11 | | Tao Huang,
Anthony Chung:
An Effective Method for Executable Test Generation of EFSM Protocols.
IASSE 2003: 206-211 |
| 10 | | Anthony Chung,
Tao Huang:
An Experiment in the Generation of Executable Test Sequences for the Inres Protocol.
SNPD 2003: 234-241 |
| 2001 |
|---|
| 9 | | Anthony Chung:
Proceedings of the 14th International Conference on Computer Applications in Industry and Engineering, November 27-29, 2001, Las Vegas, Nevada, USA
ISCA 2001 |
| 8 | | Anthony Chung:
On the Lengths of Protocol Conformance Test Sequences Using Minimal Input Set for UIO's.
CAINE 2001: 125-129 |
| 2000 |
|---|
| 7 | | Anthony Chung,
Howard E. Motteler,
Deepinder P. Sidhu:
On undetected faults in homogeneous methods for protocol testing.
Computers and Their Applications 2000: 158-164 |
| 1999 |
|---|
| 6 | | Anthony Chung,
Deepinder P. Sidhu:
A tool for simulating telecommunications networks and its application in networking courses.
Computers and Their Applications 1999: 338-341 |
| 1998 |
|---|
| 5 | | Anthony Chung,
Deepinder P. Sidhu:
A formal description technique and an environment for protocol engineering.
Computers and Their Applications 1998: 131-135 |
| 1993 |
|---|
| 4 | | Howard E. Motteler,
Anthony Chung,
Deepinder P. Sidhu:
Fault Coverage of UIO-based Methods for Protocol Testing.
Protocol Test Systems 1993: 21-34 |
| 1992 |
|---|
| 3 | | Anthony Chung,
Deepinder P. Sidhu:
Applications of Sufficient Conditions for Efficient Protocol Test Generation.
Protocol Test Systems 1992: 219-228 |
| 1989 |
|---|
| 2 | | Deepinder P. Sidhu,
Anthony Chung:
Experience with Formal Methods in Protocol Development.
FORTE 1989: 437-453 |
| 1 | | Anthony Chung,
Deepinder P. Sidhu:
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines.
IEEE Trans. Software Eng. 15(11): 1491-1494 (1989) |
