Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler. - Son T. Vuong; Wendy Y. L. Chan (FORTE, 1988)

On Test Sequence Generation for Protocols. - Wendy Y. L. Chan; Son T. Vuong; Mabo Robert Ito (PSTV, 1989)