Chul Kim, J. S. Song. Test sequence generation methods for protocol conformance testing. In Eighteenth Annual International Computer Software and Applications Conference, COMPSAC 1994, Taipei, Taiwan, 9-11 November, 1994, Proceedings. pages 169-174, IEEE, 1994. [doi]
Abstract is missing.