The synchronization problem in protocol testing and its complexity, Information Processing Letters, vol.40, issue.3, pp.131-136, 1991. ,
DOI : 10.1016/0020-0190(91)90166-F
Test de protocoles de communication. Réseaux de Communication et Techniques Formelles. Paris ? septembre, 1994. ,
Testing software design modelled by finit state mashines, IEEE Software Engineering, vol.4, issue.3, 1978. ,
Formal Description Technique Based on an Extended State Transition Model. ISO9074, 1989. ,
The Internet Key Exchange (IKE). Internet-Draft, 1998. ,
A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955. ,
DOI : 10.1002/j.1538-7305.1955.tb03788.x
Fault detection for sequential machines by transition tours. IEEE Fault Tolerant Computing Conference, 1981. ,
A protocol test generation procedure, Computer Networks and ISDN Systems, vol.15, issue.4, pp.285-297, 1988. ,
DOI : 10.1016/0169-7552(88)90064-5
Synchronisation and specification issues protocol testing, COM-32, 1984. ,
DOI : 10.1109/tcom.1984.1096074