On tools supporting the use of formal description techniques in protocol development

Protocol testing: review of methods and relevance for software testing

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis

Software process description using LOTOS and its enaction

ICSE '94 Proceedings of the 16th international conference on Software engineering

FSM-Based Incremental Conformance Testing Methods

IEEE Transactions on Software Engineering

FSM-based conformance testing methods: A survey annotated with experimental evaluation

Information and Software Technology

Improving the efficiency of automated protocol implementation using Estelle

Computer Communications