On Test Sequence Generation for Protocols

Wendy Y. L. Chan, Son T. Vuong, Mabo Robert Ito. On Test Sequence Generation for Protocols. In Ed Brinksma, Giuseppe Scollo, Chris A. Vissers, editors, Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989. pages 119-130, North-Holland, 1989.

Abstract

Abstract is missing.