. Iso, Information Technology -Open Systems Interconnection Conformance Testing Methodology and Framework -Parts 1-7. International Standard ISO, IEC, vol.9646, 1992.

T. J. and «. Int, Testing Concurrent Systems: A Formal Approach, p.99

J. , C. Jéron, T. , and «. Tgv, theory, principles and algorithms, A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems, Software Tools for Technology Transfer (STTT), 2004.

T. J. Brinksma-e and . Torx, Automated Model Based Testing, Proceedings of the First European Conference on Model-Driven Software Engineering, 2003.

O. Rafiq and R. , CASTANET, « From conformance testing to interoperability testing, Protocol Test Systems, vol.III, pp.371-385, 1991.

C. R. Kone-o, Test generation for interworking systems, Computer Communications, vol.23, issue.7, pp.642-652, 2000.
DOI : 10.1016/S0140-3664(99)00223-6

S. S. , K. M. Kang-s, and R. J. , « Fully automated interoperability test suite derivation for communication protocols, Comput. Networks, pp.735-759, 2003.

V. Der, B. M. , R. A. , and T. J. , « Component Based Testing with ioco », FATES 2003-Formal Approaches to Testing of Software, LNCS, vol.2931, 2004.

R. Castanet and O. Koné, « Deriving coordinated testers for interoperability, Protocol Test Systems, volume VI C-19, 1994.

V. L. , T. J. Kars-p, and . Brinksma-e, « On asynchronous testing », Fifth international workshop on protocol test systems, 1993.

E. , T. V. Spitsyna-n, and Y. N. , « FSM Based Interoperability Testing Methods for Multi Stimuli Model, Lecture Notes in Computer Science, 2004.

B. G. Dssouli-r and . Zhao-j, « Trace analysis for conformance and arbitration testing, IEEE transaction on software engineering, vol.15, issue.11, 1989.