G. Antoniol, L. Briand, M. Dipenta, and Y. Labiche, A case study using the round-trip strategy for state-based class testing, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., 2002.
DOI : 10.1109/ISSRE.2002.1173268

M. Abadi and L. Cardelli, A Theory of Objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

R. [. Andrews, S. France, G. Ghosh, and . Craig, Test adequacy criteria for UML design models, Software Testing, Verification and Reliability, vol.17, issue.2, pp.95-127, 2003.
DOI : 10.1002/stvr.270

J. [. Agrawal, S. Horgan, W. E. London, and . Wong, Fault localization using execution slices and dataflow tests, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95, pp.143-151, 1995.
DOI : 10.1109/ISSRE.1995.497652

. Ant and . Antlr, Another tool for language recognition

I. Marcus-alanen and . Porres, Coral : A metamodel kernel for transformation engines, Proceedings of the Second Europena Workshop on Model Driven Architecture (MDA), pp.165-170, 2004.

A. Bergel, S. Ducasse, O. Nierstrasz, and R. Wuyts, Classboxes: controlling visibility of class extensions, Computer Languages, Systems & Structures, vol.31, issue.3-4, pp.107-126, 2005.
DOI : 10.1016/j.cl.2004.11.002

URL : https://hal.archives-ouvertes.fr/inria-00533458

[. Beizer, Software Testing Techniques, 1990.

[. Baudry, F. Fleurey, J. Jézéquel, and Y. L. Traon, Automatic Test Case Optimization: A Bacteriologic Algorithm, IEEE Software, vol.22, issue.2, pp.76-82, 2005.
DOI : 10.1109/MS.2005.30

[. Baudry, F. Fleurey, J. Jézéquel, and Y. L. Traon, Automatic test case optimization using a bacteriological adaptation model: application to .NET components, Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002.
DOI : 10.1109/ASE.2002.1115023

[. Baudry, F. Fleurey, J. Jézéquel, and Y. L. Traon, From genetic to bacteriological algorithms for mutation-based testing, procedings of the Thirteenth International Symposium on Software Reliability engineering, pp.73-96, 2002.
DOI : 10.1002/stvr.313

B. Baudry, F. Fleurey, Y. Le-traon-franck-fleurey, J. Steel, B. Baudry et al., Improving test suites for efficient fault localization Metamodel-based test generation for model transformations : an algorithm and a tool Software testing based on formal specifications : a theory and a tool, proceedings of the 28th International Conference on Software Engineering (ICSE 06 Tool integration at the meta-model level within the fujaba tool suite. International Journal on Software Tools for Technology Transfer (STTT), pp.387-405203, 1991.

[. Barbier, B. Henderson-sellers, A. Le-parc-lacayrelle, and J. Bruel, Formalization of the whole-part relationship in the unified modeling language, IEEE Transactions on Software Engineering, vol.29, issue.5, pp.459-470, 2003.
DOI : 10.1109/TSE.2003.1199074

V. Robert, . [. Binder, Y. Briand, and . Labiche, Testing Object-Oriented Systems : Models, Patterns, and Tools A uml-based approach to system testing, Journal of Software and Systems Modeling, 1999.

A. Bawden and J. Rees, Syntactic closures, Proceedings of the 1988 ACM conference on LISP and functional programming , LFP '88, pp.86-95, 1988.
DOI : 10.1145/62678.62687

P. Braun, Metamodel-based Integration of Tools, Proceeding TIS 2003 Workshop on Tool Integration in System Development, 2003.

J. Bézivin, B. Rumpe, A. Schürr, L. Baudry, Y. L. Traon et al., Model transformations in practice workshop Building trust into oo components using a genetic analogy, ISSRE'2000 (International Symposium on Software Reliability Engineering, 2000.

. Car and . Caroll, The carroll research program

G. [. Cheon and . Leavens, A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, 2002.
DOI : 10.1007/3-540-47993-7_10

]. L. Cla76 and . Clarke, A system to generate test data and symbolically execute programs, IEEE Transaction on Software Enginnering, vol.2, issue.3, pp.215-237, 1976.

R. [. Consel and . Marlet, Architecturing software using a methodology for language development, Proceedings of the 10th International Symposium on Programming Language Implementation and Logic Programming, pp.170-194, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00476073

J. Davis, GME, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, pp.82-83, 2003.
DOI : 10.1145/949344.949360

J. Dick and A. Faivre, Automating the generation and sequencing of test cases from model-based specifications, FME '93 : Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods, pp.268-284, 1993.
DOI : 10.1007/BFb0024651

R. [. Demillo, F. G. Lipton, and . Sayward, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, 1978.
DOI : 10.1109/C-M.1978.218136

T. Trung, N. Dinh-trong, S. Kawane, R. B. Ghosh, A. A. France et al., A tool-supported approach to testing uml design models, ICECCS, pp.519-528, 2005.

. Eco and . Ecore, The eclipse modeling framework project home page

J. Estublier, J. Favre, J. Bézivin, L. Duchien, R. Marvie et al., Action Spécifique CNRS sur l'Ingénierie Dirigée par les Modèles, 2005.

]. Ehrig, E. Guerra, J. De-lara, L. Lengyel, T. Levendovszky et al., Dániel Varró, and Szilvia Varró-Gyapay. Model transformation by graph transformation : A comparative study, MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005), 2005.

G. Sebastian, D. Elbaum, G. Gable, and . Rothermel, The impact of software evolution on code coverage information, ICSM, pp.170-179, 2001.

M. [. Eagan, J. Harrold, J. Jones, and . Stasko, Visually encoding program test information to find faults in software, 2001.

. Emf and . Emf, The eclipse modeling framework project home page

[. Elbaum, A. G. Malishevsky, and G. Rothermel, Prioritizing test cases for regression testing, 2000.

A. [. Elbaum and G. Malishevsky, Test case prioritization: a family of empirical studies, proceedings of IEEE Transactions on Software Engineering, pp.159-182, 2002.
DOI : 10.1109/32.988497

[. Fleurey, J. Steel, and B. Baudry, MDE and validation : Testing model transformations, Proc. of the SIVOES-Modeva workshop , SIVOES (Specification Implementation and Validation Of Embedded Systems)-MoDeVa (Model Design and Validation), 2004.

[. Gogolla, J. Bohling, and M. Richters, Validation of UML and OCL Models by Automatic Snapshot Generation, UML, pp.265-279, 2003.
DOI : 10.1007/978-3-540-45221-8_23

]. S. Gfb-+-03, R. B. Ghosh, C. France, N. Braganza, A. Kawane et al., Test adequacy assessment for UML design model testing, International Symposium on Software Reliability Engineering, 2003.

R. [. Gamma, R. Helm, J. Johnson, and . Vlissides, Design patterns : elements of reusable object-oriented software, 1995.

A. Goldberg and D. Robson, Smalltalk-80 : the language and its implementation, 1983.

]. J. Gsc-+-04, K. Greenfield, S. Short, S. Cook, J. Kent et al., Software Factories : Assembling Applications with Patterns, Models, Frameworks, and Tools, 2004.

[. Greenfield, K. Short, S. Cook, and S. Kent, Software factories, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, 2004.
DOI : 10.1145/949344.949348

M. J. Harrold, R. Gupta, and M. L. Soffa, A methodology for controlling the size of a test suite, ACM Transactions on Software Engineering and Methodology, vol.2, issue.3, pp.270-285, 1993.
DOI : 10.1145/152388.152391

W. Ho and J. Jézéquel, Alain Le Guennec, and François Pennaneac'h . Umlaut : an extendible uml transformation framework, Automated Software Engineering, ASE'99, 1999.

R. Heckel and M. Lohmann, Towards model-driven testing, Electr. Notes Theor. Comput. Sci, vol.82, issue.6, 2003.

H. [. Jones, D. Sthamer, and . Eyres, Automatic structural testing using genetic algorithms, Software Engineering Journal, vol.11, issue.5, pp.299-306, 1996.
DOI : 10.1049/sej.1996.0040

A. James, M. J. Jones, J. Harrold, and . Stasko, Visualization for fault localization, Proceedings of the Workshop on Software Visualization, 2001.

A. James, M. J. Jones, J. Harrold, and . Stasko, Visualization of test information to assist fault localization, Proceedings of the 24th International Conference on Software Engineering, 2002.

P. [. Jéron and . Morel, Test Generation Derived from Model-Checking, CAV'99, pp.108-122, 1999.
DOI : 10.1007/3-540-48683-6_12

]. B. Jon98 and . Jones, A strategy for using genetic algorithms to automate branch and fault-based testing, The Computer Journal, vol.2, issue.41, pp.98-107, 1998.

J. Jézéquel, Object-oriented software engineering with Eiffel, 1996.

. [. Küster, Systematic validation of model transformations, Proceedings of Workshop in Software Model Engineering associated to UML'04, 2004.

. Ker and . Kermeta, The kermeta project home page

[. Klein and F. Fleurey, Tissage d'aspects comportementaux, Langages et Modèles à Objets : LMO'06, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00511391

[. Kosmatov, B. Legeard, F. Peureux, and M. Utting, Boundary Coverage Criteria for Test Generation from Formal Models, 15th International Symposium on Software Reliability Engineering, pp.139-150, 2004.
DOI : 10.1109/ISSRE.2004.12

]. B. Kor92 and . Korel, Dynamic method for software test data generation, Software Testing, Verification and Reliability, pp.203-216, 1992.

[. Karsai, J. Sztipanovits, Á. Lédeczi, and T. Bapty, Model-integrated development of embedded software, Proceedings of the IEEE, vol.91, issue.1, pp.145-164, 2003.
DOI : 10.1109/JPROC.2002.805824

A. Lédeczi, M. Bakay, P. Maroti, G. Volgyesi, J. Nordstrom et al., Composing domain-specific design environments, Computer, vol.34, issue.11, pp.3444-51, 2001.
DOI : 10.1109/2.963443

[. Legeard, F. Peureux, and M. Utting, Automated Boundary Testing from Z and B, FME '02 : Proceedings of the International Symposium of Formal Methods Europe on Formal Methods -Getting IT Right, pp.21-40, 2002.
DOI : 10.1007/3-540-45614-7_2

M. Lawley and J. Steel, Practical Declarative Model Transformation with Tefkat, Model Transformations In Practice Workshop, 2005.
DOI : 10.1007/11663430_15

J. [. Lin, J. Zhang, and . Gray, A testing framework for model transformations . Model-driven Software Development -Research and Practice in Software Engineering, 2005.

[. Meyer, Eiffel agents

]. B. Mey92 and . Meyer, Applying "design by contract, Computer (IEEE), pp.40-51, 1992.

P. Muller, F. Fleurey, F. Fondement, M. Hassenforder, R. Schnekenburger et al., Model-driven analysis and synthesis of concrete syntax, Proceedings of MODELS/UML'2006, volume to be published of LNCS, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00795597

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proceedings of MODELS/UML'2005, volume to be published of LNCS, 2005.
DOI : 10.1007/11557432_19

URL : https://hal.archives-ouvertes.fr/hal-00795095

P. Muller, F. Fleurey, D. Vojtisek, Z. Drey, D. Pollet et al., On executable meta-languages applied to model transformations, Model Transformations In Practice Workshop, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000381

G. [. Michael, M. A. Mcgraw, and . Schatz, Generating software test data by evolution, IEEE Transactions on Software Engineering, vol.27, issue.12, pp.1085-1110, 2001.
DOI : 10.1109/32.988709

L. [. Maccoll, P. Murray, D. Strooper, and . Carrington, Specificationbased class testing : A case study, 2nd International Conference on Formal Engineering Methods (ICFEM'98), 1998.

. Mia-software, Mia-transformation

D. [. Miller and . Spooner, Automatic Generation of Floating-Point Test Data, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.223-226, 1976.
DOI : 10.1109/TSE.1976.233818

[. Muller, P. Studer, F. Fondement, and J. Bézivin, Platform independent Web application modeling and development with Netsilon, Software & Systems Modeling, vol.44, issue.1, pp.424-442, 2005.
DOI : 10.1007/s10270-005-0091-4

URL : https://hal.archives-ouvertes.fr/inria-00120216

[. Nebut and F. Fleurey, Une méthode de formalisation progressive des exigences basée sur un modèle simulable In Langages et Modèles à Objets : LMO'05 (L'Objet logiciel, bases de données, réseaux , RSTI série l'Objet, pp.145-158, 2005.

[. Nebut, F. Fleurey, Y. L. Traon, and J. Jézéquel, Requirements by contracts allow automated system testing, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003., 2003.
DOI : 10.1109/ISSRE.2003.1251033

URL : https://hal.archives-ouvertes.fr/hal-00794812

[. Nebut, F. Fleurey, Y. L. Traon, and J. Jézéquel, Automatic test generation: a use case driven approach, IEEE Transactions on Software Engineering, vol.32, issue.3, 2006.
DOI : 10.1109/TSE.2006.22

URL : https://hal.archives-ouvertes.fr/lirmm-00102747

A. [. Offutt and . Abdurazik, Generating Tests from UML Specifications, Proceedings of UML'99 (Unified Modeling Language), 1999.
DOI : 10.1007/3-540-46852-8_30

M. [. Ostrand and . Balcer, The category-partition method for specifying and generating fuctional tests, Communications of the ACM, vol.31, issue.6, pp.31676-686, 1988.
DOI : 10.1145/62959.62964

]. Omga and . Omg, Meta object facility 1.4 specification, pp.2002-2006

]. Omgb and . Omg, Meta object facility 1.4 specification, pp.2005-2014

]. Omgc and . Omg, Meta object facility 2.0 specification

M. [. Pargas, R. Harrold, and . Peck, Test-data generation using genetic algorithms, Software Testing, Verification and Reliability, vol.8, issue.4, pp.263-283, 1999.
DOI : 10.1002/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y

B. Pickin, C. Jard, Y. Le-traon, T. Jéron, J. Jézéquel et al., System Test Synthesis from UML Models of Distributed Software, LNCS, editor, Formal Techniques for Networked and Distributed Systems -FORTE 2002, 2002.
DOI : 10.1007/3-540-36135-9_7

URL : https://hal.archives-ouvertes.fr/hal-00794606

D. Pollet, J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy et al., Object-Oriented Modeling and Design Principes de méta-modélisation pour l'utilisation de canevas d'applications à objets (MétaGen et les frameworks) Model composition -a signature-based approach Validating UML models and OCL constraints Object Modeling with the OCL : The Rationale behind the Object Constraint Language Rosenzweig. Species Diversity In Space and Time A metamodeling technique : The métagen system, Une architecture pour les transformations de modèles et la restructuration de modèles UML. [RFG + 05] Aspect Oriented Modeling (AOM) Workshop UML 2000 -The Unified Modeling Language. Advancing the Standard. Third International Conference ProceedingsRG02] Mark Richters and Martin Gogolla. OCL : Syntax, semantics, and tools Tools 16 : Tools Europe'95 Test case prioritization : An empirical study. procedings of International Conference on Software Maintenance Prioritizing test cases for regression testing. IEEE Transactions on Software Engineering, pp.265-277, 1939.

J. Matthew, A. L. Rutherford, and . Wolf, A case for test-code generation in model-driven systems, GPCE '03 : Proceedings of the second international conference on Generative programming and component engineering, pp.377-396, 2003.

Z. Shao and A. W. Appel, Efficient and safe-for-space closure conversion, ACM Transactions on Programming Languages and Systems, vol.22, issue.1, pp.129-161, 2000.
DOI : 10.1145/345099.345125

G. Jay-sussman and J. Steele, Scheme : An interpreter for extended lambda calculus, 1975.

J. Sztipanovits and G. Karsai, Model-integrated computing, Computer, vol.30, issue.4, pp.110-111, 1997.
DOI : 10.1109/2.585163

J. Sztipanovits, G. Karsai, C. Biegl, T. Bapty, Á. Lédeczi et al., MULTIGRAPH: an architecture for model-integrated computing, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95, pp.361-368, 1995.
DOI : 10.1109/ICECCS.1995.479359

J. Steel and M. Lawley, Model-Based Test Driven Development of the Tefkat Model-Transformation Engine, 15th International Symposium on Software Reliability Engineering, 2004.
DOI : 10.1109/ISSRE.2004.23

K. Smolander, K. Lyytinen, P. Veli-pekka-tahvanainen, and . Marttiin, MetaEdit??? A flexible graphical environment for methodology modelling, CAiSE '91 : Proceedings of the third international conference on Advanced information systems engineering, pp.168-193, 1991.
DOI : 10.1007/3-540-54059-8_85

]. R. Stos00a and . Soley, MDA Model-Driven Architecture Online presentation http, 2000.

D. Thomas and A. Hunt, Programming Ruby : A Pragmatic Programmer's Guide, 2000.

[. Tolvanen and M. Rossi, MetaEdit+, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, pp.92-93, 2003.
DOI : 10.1145/949344.949365

L. Van-aertryck, M. Benveniste, D. Le, M. Tayer, A. Van-deursen et al., Casting : A formally based software test generation method Domain-specific languages : An annotated bibliography, ICFEM '97 : Proceedings of the 1st International Conference on Formal Engineering Methods, pp.10126-10162, 1997.

J. [. Vojtisek and . Jézéquel, MTL and Umlaut NG -engine and framework for model transformation, ERCIM News, vol.58, issue.58, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000953

[. Wegener, A. Baresel, and H. Sthamer, Evolutionary test environment for automatic structural testing, Information and Software Technology, vol.43, issue.14, pp.841-854, 2001.
DOI : 10.1016/S0950-5849(01)00190-2

.. Méta-modèle-de-machines-À-État-composites, 151 5.4 Partitions pour le méta-modèle de la figures 5, p.155

.. Exemple-de-fragments-de-modèles-pour-le-critère-allpartitions, 164 5.16 Stratégies de création des combinaisons, p.165

. Quatre-critères-de-combinaison-classe-par-classe.........., 166 5.19 Fragments de modèles pour les critères, Comb, p.166

.. De-modèles and . Jézéquel, 185 Publications Journaux internationaux 1. Clémentine Nebut, Franck Fleurey Automatic Test Generation : A Use Case Driven Approach, Mutations dirigées par des fragments, pp.140-155, 2006.

B. Baudry, F. Fleurey, J. Jézéquel, and Y. L. Traon, From genetic to bacteriological algorithms for mutation-based testing, Software Testing, Verification and Reliability, vol.11, issue.2, pp.73-96, 2005.
DOI : 10.1002/stvr.313

B. Baudry, F. Fleurey, J. Jézéquel, and Y. L. Traon, Automatic Test Case Optimization: A Bacteriologic Algorithm, IEEE Software, vol.22, issue.2, pp.76-82, 2005.
DOI : 10.1109/MS.2005.30

F. Fleurey, J. Steel, B. Baudry, and Y. L. Traon, Metamodel-based test Generation for Model Transformations : an Algorithm and a Tool

P. Muller, F. Fleurey, and J. Jézéquel, Model-Driven Analysis and Synthesis of Concrete Syntax Accepted for publication at the MoDELS, UML 2006 conference (Acceptance Ratio : 28%)

B. Baudry, F. Fleurey, and Y. L. Traon, Improving test suites for efficient fault localization, Proceeding of the 28th international conference on Software engineering , ICSE '06, p.9, 2006.
DOI : 10.1145/1134285.1134299

URL : https://hal.archives-ouvertes.fr/inria-00542783

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, proceedings of MO- DELS/UML'2005, p.27, 2005.
DOI : 10.1007/11557432_19

URL : https://hal.archives-ouvertes.fr/hal-00795095

F. Fleurey, B. Baudry, and Y. L. Traon, From testing to diagnosis: an automated approach, Proceedings. 19th International Conference on Automated Software Engineering, 2004., p.27, 2004.
DOI : 10.1109/ASE.2004.1342753

C. Nebut, F. Fleurey, Y. Le-traon, and J. Jézéquel, Requirements by contracts allow automated system testing, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.
DOI : 10.1109/ISSRE.2003.1251033

URL : https://hal.archives-ouvertes.fr/hal-00794812

B. Baudry, F. Fleurey, J. Jézéquel, and Y. L. Traon, Genes and bacteria for automatic test cases optimization in the .NET environment, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., p.45, 2002.
DOI : 10.1109/ISSRE.2002.1173246

URL : https://hal.archives-ouvertes.fr/hal-00794778

B. Baudry, F. Fleurey, J. Jézéquel, and Y. L. Traon, Automatic test case optimization using a bacteriological adaptation model: application to .NET components, Proceedings 17th IEEE International Conference on Automated Software Engineering,, p.40, 2002.
DOI : 10.1109/ASE.2002.1115023

. B. Workshops-internationaux-1, T. Baudry, J. Dinh-trong, D. Mottu, R. Simmonds et al., Challenges for Model Transformation Testing, Proceedings of IMDT workshop in conjunction with ECMDA'06, 2006.

P. Muller, F. Fleurey, Z. Drey, and D. Pollet, Frédéric Fondement and Philippe Studer. On Executable Meta-Languages applied to Model Transformations. Model Transformation In Practice (MTIP) workshop held in conjunction with MODELS, UML 2005 conference, 2005.

T. Dinh-trong, S. Ghosh, R. France, B. Baudry, and F. Fleurey, A Taxonomy of Faults for UML Designs. Model Design and Validation (MoDeVa) workshop held in conjunction with MODELS, UML 2005 conference, 2005.

B. Baudry, F. Fleurey, R. France, and R. Reddy, Exploring the Relationship between Model Composition and Model Transformation Aspect Oriented Modeling (AOM) workshop held in conjunction with MODELS, UML 2005 conference, 2005.

R. Reddy, R. France, S. Ghosh, F. Fleurey, and B. Baudry, Model Composition -A Signature-Based Approach Aspect Oriented Modeling (AOM) workshop held in conjunction with MODELS, UML 2005 conference, 2005.

F. Fleurey, J. Steel, and B. Baudry, MDE and validation : Testing model transformation, Procedings of the SIVOES-Modeva workshop, 2004.

C. Nebut and F. Fleurey, Yves Le Traon and Jean-Marc Jézéquel A requirement-based approach to test product families, Proc. of the 5th workshop on Product Families Engineering (PFE-05) LNCS, 2003.

B. Baudry, F. Fleurey, J. Jézéquel, and Y. L. Traon, Computational intelligence for testing .net components, Proceedings of Microsoft Summer Research Workshop, 2002.

C. Nebut and F. Fleurey, Une m??thode de formalisation progressive des exigences bas??e sur un mod??le simulable, Langages et Modèles à Objets : LMO'05, pp.145-158, 2005.
DOI : 10.3166/objet.11.1-2.145-158