E. Gamma, R. Helm, R. Johnson, J. Vlissidesm, J. Ho et al., Design Patterns: Elements of Reusable Object-Oriented Software An Open Software Architecture for Verification, Simulation, and Testing} Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Le Guennec, and F. Pennaneac'h : UMLAUT: an extendible UML transformation framework}, Proceedings of the First Int Automated Software Engineering (ASE)Is91] ISO : International Standard IS-9646 : Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework. Geneve Also: CCITT X.290--X.294. [JLP98], 1991.

J. Jézéquel, A. Leguennec, and F. Pennaneach, Validating distributed software modelled with UML, Proc. Int. Workshop UML98, 1998.

T. Jéron and P. Morel, Test Generation Derived from Model-Checking, Computer Aided Verification (CAV), 1999.
DOI : 10.1007/3-540-48683-6_12

]. A. Irwinle01 and . Guennec, Aspect-oriented programming Génie Logiciel et Méthodes Formelles avec UML : Spécification, Validation et Génération de tests, 11th European Conference Object-Oriented Programming (ECOOP), 1997.

D. Richardson and L. Clarke, Partition Analysis: A Method Combining Testing and Verification, IEEE Transactions on Software Engineering, vol.11, issue.12, 1985.
DOI : 10.1109/TSE.1985.231892

J. Tretmans, A formal approach to conformance testing, 1992.