Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications

Heinz Jürgen Burkhardt, Hans Eckert, Alfred Giessler. Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications. In Michel Diaz, editor, Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. pages 461-481, North-Holland, 1985.

Abstract

Abstract is missing.