C. Atkinson, Component-Based Product-Line Engineering with the UML, 2002.
DOI : 10.1007/3-540-46020-9_34

M. Badri, L. Badri, and M. Naha, A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams, Formal Approaches to Software Testing: 3rd Int
DOI : 10.1007/978-3-540-24617-6_16

K. Bogadov and M. Holcombe, Testing from Statecharts using the Wp Method, Proc 2nd Wkshp. on Formal Approaches to the Testing of Software, FATES 2002, 2002.

L. C. Briand, Y. Labiche, and J. Cui, Automated support for deriving test requirements from UML statecharts, Software & Systems Modeling, vol.15, issue.4, 2005.
DOI : 10.1007/s10270-005-0090-5

S. Burton, J. Clark, and J. Mcdermid, Automatic Generation of Tests from Statecharts Specifications, Proc 1st Wkshp. on Formal Approaches to the Testing of Software, FATES 2001, 2001.

L. D. Bousquet, H. Martin, H. , and J. Jézéquel, Conformance Testing from UML Specifications, Experience Report. Proc. of the UML2001 wkshp: Practical UML-Based Rigorous Development Methods, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00794313

D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, J. Katoen et al., STG: A Symbolic Test Generation Tool, Stevens: Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), 2002.
DOI : 10.1007/3-540-46002-0_34

W. Damm, B. Josko, A. Pnueli, and A. Votintseva, A discrete-time UML semantics for concurrency and communication in safety-critical applications, Science of Computer Programming, vol.55, issue.1-3, pp.1-3, 2005.
DOI : 10.1016/j.scico.2004.05.012

E. Gamma, R. Helm, R. Johnson, and J. , Vlissides: Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

S. Gnesi, D. Latella, and M. Massink, Formal test-case generation for UML statecharts, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems, 2004.
DOI : 10.1109/ICECCS.2004.1310906

J. Grabowski, D. Hogrefe, and R. Nahm, Test case generation with test purpose specification by, SDL'93 ? Using Objects. Proc. 6th SDL Forum, 1993.

D. Harel and H. Kugler, The RHAPSODY Semantics of Statecharts (Or on the Executable Core of the UML) Integration of Software Specification Techniques for Application in Engineering, LNCS, vol.3147, 2004.

A. Hartman and K. Nagin, The AGEDIS tools for model based testing, ACM SIGSOFT Software Engineering Notes, vol.29, issue.4, 2004.

J. Hartmann, C. Imoberdorf, and M. Meisinger, UML-Based Integration Testing, Proc. ACM SIGSOFT Int

W. Ho, UMLAUT: An Extendible UML Transformation Framework, Proc. 14th IEEE Int. Conf. on Automated Software Engineering (ASE-99), 1999.
URL : https://hal.archives-ouvertes.fr/inria-00072886

H. S. Hong, Y. G. Kim, S. D. Cha, D. H. Bae, and H. Ural, A test sequence selection method for statecharts, Software Testing, Verification and Reliability, 2000.
DOI : 10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2

I. Iec, Conformance Testing Methodology and Framework ? Part 1: General Concepts, pp.9646-9647, 1994.

C. Jard, Synthesis of distributed testers from true-concurrency models of reactive systems, Information and Software Technology, vol.45, issue.12, 2003.
DOI : 10.1016/S0950-5849(03)00061-2
URL : https://hal.archives-ouvertes.fr/inria-00072021

C. Jard and T. Jéron, TGV: theory, principles and algorithms, Software Tools for Technology Transfer (STTT), 2005.
DOI : 10.1007/s10009-004-0153-x

C. Jard and S. Pickin, COTE ? Component Testing using the Unified Modeling Language, ERCIM (European Research Consortium for Informatics and Mathematics) EEIG, 2001.

S. Mauw, M. Van-wijk, and T. Winter, A formal semantics of synchronous Interworkings, SDL'93 ? Using Objects. Proc. 6th SDL Forum, 1993.

S. Mellor and M. Balcer, Executable UML: A Foundation for Model Driven Architecture, 2002.

C. Nebut, S. Pickin, Y. Le-traon, and J. M. , Automated requirements-based generation of test cases for product families, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., 2003.
DOI : 10.1109/ASE.2003.1240317
URL : https://hal.archives-ouvertes.fr/hal-00794804

A. J. Offutt, S. Liu, A. Abdurazik, and P. Ammann, Generating test data from state-based specifications, Software Testing, Verification and Reliability, 2003.
DOI : 10.1002/stvr.264

M. Object and . Group, Unified Modeling Language: Testing Profile, 2004.

M. Object and . Group, Unified Modeling Language: Superstructure, version 2.0, 2004.

S. Pickin, C. Jard, Y. Le-traon, T. Jéron, J. M. Jézéquel et al., System Test Synthesis from UML Models of Distributed Software, Formal Techniques for Networked and Distributed Systems. Proc. FORTE 2002. LNCS 2529, 2002.
DOI : 10.1007/3-540-36135-9_7
URL : https://hal.archives-ouvertes.fr/hal-00794606

S. Pickin, Test des composants logiciels pour les télécommunications, 2003.

S. Pickin and J. M. , Using UML Sequence Diagrams as the Basis for a Formal Test Description Language Integrated Formal Methods, Proc. IFM, 2004.

L. Shuhao, J. Wang, and Q. Zhi-chang, Property-oriented test generation from UML statecharts, Proceedings. 19th International Conference on Automated Software Engineering, 2004., 2004.
DOI : 10.1109/ASE.2004.1342730

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence, Software ? Concepts and Tools, pp.103-120, 1996.

A. Wasowski, Flattening Statecharts without Explosions, Proc. LCTES'04, 2004.