Information Technology -Open Systems Interconnection Conformance Testing Methodology and Framework -Parts 1-7. International Standard ISO, IEC, vol.9646, 1992. ,
Testing Concurrent Systems: A Formal Approach, p.99 ,
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. ,
Automated Model Based Testing, Proceedings of the First European Conference on Model-Driven Software Engineering, 2003. ,
CASTANET, « From conformance testing to interoperability testing, Protocol Test Systems, vol.III, pp.371-385, 1991. ,
Test generation for interworking systems, Computer Communications, vol.23, issue.7, pp.642-652, 2000. ,
DOI : 10.1016/S0140-3664(99)00223-6
« Fully automated interoperability test suite derivation for communication protocols, Comput. Networks, pp.735-759, 2003. ,
« Component Based Testing with ioco », FATES 2003-Formal Approaches to Testing of Software, LNCS, vol.2931, 2004. ,
« Deriving coordinated testers for interoperability, Protocol Test Systems, volume VI C-19, 1994. ,
« On asynchronous testing », Fifth international workshop on protocol test systems, 1993. ,
« FSM Based Interoperability Testing Methods for Multi Stimuli Model, Lecture Notes in Computer Science, 2004. ,
« Trace analysis for conformance and arbitration testing, IEEE transaction on software engineering, vol.15, issue.11, 1989. ,