Test Generation for the Specification Written in Estelle

Do Y. Lee, Jai-Yong Lee. Test Generation for the Specification Written in Estelle. In Bengt Jonsson, Joachim Parrow, Björn Pehrson, editors, Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991. pages 317-332, North-Holland, 1991.

Abstract

Abstract is missing.