Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle

Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier. Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle. In Omar Rafiq, editor, Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993. Volume C-19 of IFIP Transactions, pages 67-85, North-Holland, 1993.

Abstract

Abstract is missing.