An Estelle interpreter for incremental protocol verification. - Chung-Ming Huang; Jenq-Muh Hsu; Huei-Yang Lai; Jao-Chiang Pong; Duen-Tay Huang (ICNP, 1993)

A modified transition tour protocol test method. - Chung-Ming Huang; Jenq-Muh Hsu; Huei-Yang Lai (J. Syst. Integr., 1994)

Integrated FDT-based protocol verification system. - Chung-Ming Huang; Jenq-Muh Hsu; Huei-Yang Lai; Duen-Tay Huang (Softw. Eng. J., 1995)

A Mulit-Event-One-Transition Plus Incremental Processing Protocol Verification Method. - Chung-Ming Huang; Huei-Yang Lai; Duen-Tay Huang (J. Inf. Sci. Eng., 1996)

An Estelle-Based Incremental Protocol Design System. - Chung-Ming Huang; Jenq-Muh Hsu; Huei-Yang Lai; Duen-Tay Huang; Jao-Chiang Pong (J. Syst. Softw., 1997)