B. Agrawal, A. , G. Karsai, and A. Ledeczi, Available from: www.boc-eu.com. [Agrawal'03 An end-to-end domain-driven software development framework, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2003.

H. Agrawal, R. A. Demillo, B. Hathaway, W. Hsu, W. Hsu et al., Design of mutant operators for the C programming language Fault Localization using Execution Slices and Dataflow Tests Kent Model Transformation Language, ISSRE'95 (Int. Symposium on Software Reliability Engineering Model Transformations in Practice, Workshop, part of MoDELS 2005. [Alanen'03, 1989.

M. Alanen and I. Porres, Difference and Union of Models. in UML'03 (Unified Modeling Language), 2003.

M. Alanen and I. Porres, Coral: A Metamodel Kernel for Transformation Engines, Proceedings of the Second European Workshop on Model Driven Architecture (MDA), 2004.

R. T. Alexander, J. M. Bieman, G. Sudipto, and J. Bixia, Mutation of Java objects, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., 2002.
DOI : 10.1109/ISSRE.2002.1173285

B. Amar, H. Leblanc, B. Coulette-anastasakis, K. , B. Bordbar et al., A Traceability Engine Dedicated to Model Transformation for Software Engineering. in ECMDA Traceability Workshop'08 Analysis of Model Transformations via Alloy. in 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, MoDeVVa'07, Test adequacy criteria for UML design models. Software Testing, Verification and Reliability, pp.95-127, 2003.

J. H. Andrews, L. C. Briand, Y. Labiche-st, . Louis, U. E. Mo et al., Is mutation an appropriate tool for testing experiments?, Proceedings of the 27th international conference on Software engineering Toward the determination of sufficient mutant operators for C. Software Testing, Verification and Reliability, pp.11-113, 2001.

J. Barnes, High integrity software: the SPARK approach to safety and security, 2003.

M. Barnett, K. R. Leino, and W. Schulte, The Spec# Programming System: An Overview in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, pp.49-69, 2005.

B. Baudry, T. Dinh-trong, J. Mottu, D. Simmonds, R. France et al., Model Transformation Testing Challenges. in IMDT workshop in conjunction with ECMDA-FA 06 Improving Test Suites for Efficient Fault Localization, ICSE'06 (International Conference on Software Engineering). 2006b. Shanghai, China. [Baudry'05] Baudry, B., F. Fleurey, Y. Le Traon, and J.-M. Jézéquel, An Original Approach for Automatic Test Cases Optimization: a Bacteriologic Algorithm. IEEE Software, pp.22-76, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00542781

B. Baudry, Y. Le-traon, V. L. Hanh, J. Jézéquel, U. Baudry et al., Building Trust into OO Components using a Genetic Analogy Trustable Components: Yet Another Mutation-Based Approach, ISSRE'00 (Int. Symposium on Software Reliability Engineering) 1st Symposium on Mutation Testing. [Beizer'90] Beizer, B., Software Testing Techniques MDA Tool Components: A Proposal for Packaging Know-how in Model Driven Development. SoSyM: Journal on Software & System Modeling, pp.329-343, 1990.

A. Beugnard, J. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, p.13, 1999.
DOI : 10.1109/2.774917

J. Bézivin, G. Dupé, F. Jouault, G. Pitette, and J. E. Rougui, First experiments with the ATL model transformation language: Transforming XSLT into XQuery. in Generative Techniques in the context of Model Driven Architecture (in conjunction with OOPSLA'03), 2003.

J. Bézivin, N. Farcet, J. Jézéquel, B. Langlois, and D. Pollet, Reflective model driven engineering. in UML'03 (Unified Modeling Language), 2003.

J. Bézivin, N. Farcet, J. Jézéquel, B. Langlois, D. Pollet et al., Reflective model driven engineering. in UML'03, MDA Components: Challenges and Opportunities. in Metamodelling for MDA, 2003.

J. Bibliographie-bézivin, B. Rumpe, A. Schürr, and L. Tratt, Available from, 99] Binder, R.V., Testing Object-Oriented Systems: Models, Patterns and Tools, 1999.

L. Bondé, L. Bondé, P. Boulet, J. Dekeyser-bondé, L. et al., Traceability and interoperability at different levels of abstraction in model transformations. in Forum on Specification and Design Languages, FDL'05 Metamodels and MDA transformations for embedded systems. in FDL'04 Metamodel-based Integration of Tools, Proceedings of Workshop on Tool Integration in System Development Labiche, and H. Sun, Investigating the Use of Analysis Contracts to Improve the Testability of Object Oriented Code. Software Practice and Experience, p.33, 2003.

E. Brottier, F. Fleurey, J. Steel, B. Baudry, Y. Le-traon-burmester et al., Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool, 2006 17th International Symposium on Software Reliability Engineering, pp.203-218, 2004.
DOI : 10.1109/ISSRE.2006.27

E. Cariou, R. Marvie, L. Seinturier, L. Duchien-chapman, and D. , OCL for the Specification of Model Transformation Contracts A program testing assistant, Workshop OCL and Model Driven Engineering of the Seventh International Conference on UML Modeling Languages and Applications, pp.25-625, 1982.

T. Y. Chen, T. H. Tse, and Z. Zhou, Fault-based testing without the need of oracles. Information and Software Technology, pp.44-923, 2003.

G. T. Leavens, A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP'02 (European Conference for Object- Oriented Programming), 2002.

A. Cicchetti, D. Di-ruscio, R. Eramo, and A. Pierantonio, Applying Mutation Analysis for Object-Oriented Programs Using a Reflective Approach Meta-model Differences for Supporting Model Co-evolution Metamodel Independent Approach to Difference Representation, Eighth Asia-Pacific Software Engineering Conference Macao, China. [Cicchetti'08] 2nd Workshop on Model- Driven Software Evolution, 2001.

I. Ciupa and A. Leitner, Automatic Testing Based on Design by Contract?, Net.ObjectDays 2005 (6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts, and Applications for a Networked World). 2005. [Ciupa'08] Ciupa M. Oriol, and B. Meyer. On the Predictability of Random Tests for Object-Oriented Software. in ICST'08, 2008.

B. Clark, T. , A. Evans, P. Sammut, J. W. Cuccuru et al., Applied Metamodelling: A Foundation for Language Driven Development Available from: http ://www.compuware.com/products/optimalj Classification of Model Transformation Approaches. in Generative Techniques in the context of Model Driven Architecture (in conjunction with OOPSLA'03), and S. Helsen, Feature-Based Survey of Model Transformation Approaches. IBM Systems Journal, special issue on Model-Driven Software Development, pp.45-621, 2003.

A. Darabos, A. Pataricza, D. Varro-davis, and J. , Towards Testing the Implementation of Graph Transformations. in GT-VMT workshop associated to ETAPS'06 GME: the generic modeling environment AToM3: A Tool for Multi-formalism and Metamodelling . in FASE '02, Vienna, Austria. [Davis'03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. [Delamare'06] Delamare, R., B. Baudry, and Y. Le Traon. Reverse-engineering of UML 2, 2002.

M. E. , J. C. Maldonado, and A. P. Mathur, Interface Mutation: An approach for integration testing, Sequence Diagrams from Execution Traces, pp.27-228, 2001.

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

R. Demillo and A. J. Offutt, Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991.
DOI : 10.1109/32.92910

R. Demillo and A. J. Offutt, Experimental results from an automatic test case generator, ACM Transactions on Software Engineering and Methodology, vol.2, issue.2, pp.109-136, 1993.
DOI : 10.1145/151257.151258

A. Derezinska, A. Szustek-dillon, L. K. , Q. Yu, J. et al., Tool-Supported Advanced Mutation Approach for Verification of C# Programs Oracles for checking temporal properties of concurrent systems Visually encoding program test information to find faults in software, Third International Conference onDependability of Computer Systems, DepCos-RELCOMEX '08. . 2008. Szklarska Por?ba, Poland. [Dillon'94] Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, 1994.

E. Ehrig, K. , J. M. Küster, G. Taentzer, and J. Winkelmann, Eclipse Modeling Framework Project (EMF) Eclipse Foundation; Available from: http://www.eclipse.org/emf, Generating Instance Models from Meta Models in 8th International Conference on Formal Methods 184

J. Favre, J. Estublier, M. B. Ferrari, F. C. , J. C. Maldonado et al., Mutation Testing for Aspect- Oriented Programs, International Conference on Software Testing (ICST0'8). 2008. Lillehammer, Norway. [Filman'05] Filman, R.E., T. Elrad, S. Clarke, and M. Ak¸sit, Aspect-Oriented Software Development, 2005.

F. Fleurey, Langage et méthode pour une ingénierie des modèles fiable, 2006.

F. Fleurey, B. Baudry, P. Muller, and Y. Le-traon, Towards Dependable Model Transformations: Qualifying Input Test Data, Journal of Software and Systems Modeling, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477567

F. Fleurey, E. Breton, B. Baudry, A. Nicolas, and J. Jézéquel, Model-Driven Engineering for Software Migration in a Large Industrial Context, MoDELS/UML 2007 conference, 2007.
DOI : 10.1007/978-3-540-75209-7_33
URL : https://hal.archives-ouvertes.fr/inria-00477566

F. Fleurey, J. Steel, B. Baudry-fondement, F. , and R. Silaghi, Validation in Model-Driven Engineering: Testing Model Transformations. in MoDeVa'04 (Model Design and Validation Workshop associated to ISSRE'04) Defining Model Driven Engineering Processes. in WISME, 2004.

R. France, F. Fleurey, R. Reddy, B. Baudry, and S. Ghosh, Providing Support for Model Composition in Metamodels, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007.
DOI : 10.1109/EDOC.2007.55
URL : https://hal.archives-ouvertes.fr/inria-00180463

R. France, S. Ghosh, E. Song, and K. Dae-kyoo, A metamodeling approach to pattern-based model refactoring, IEEE Software, vol.20, issue.5, pp.52-58, 2003.
DOI : 10.1109/MS.2003.1231152

P. Frankl, S. Weiss, and C. Hu, All-uses versus mutation testing: An experimental comparison of effectiveness. The Journal of Systems and Software, pp.235-253, 1997.

A. Gerber, M. J. Lawley, K. Raymond, J. Steel, A. W. Ghosh et al., Transformation: The Missing Link of MDA, First International Conference on Graph Transformation, ICGT'02 Interface mutation. Software Testing, Verification and Reliability, pp.227-247, 2001.
DOI : 10.1007/3-540-45832-8_9

H. Giese, S. Glesner, J. Leitner, W. Schäfer, R. Wagner-glitia et al., Towards Verified Model Transformations. in Proceedings of MoDeVa workshop associated to MoDELS'06 Fine Grained Traceability for an MDE Approach of Embedded System Conception, 2006.

J. Greenfield, K. Short, and R. G. , Software Factories Assembling Applications with Patterns, Models, Frameworks and Tools Testing Programs with the Aid of a Compiler, International Conference OOPSLA'03, pp.279-290, 1977.

M. J. Harrold and G. , Performing Data Flow Testing on Classes. in FSE'94 (Foundation on Software Engineering), [Heckel'03] Heckel, R. and M. Lohmann, Towards Model-Driven Testing. Electronic Notes in Theoretical Computer Science, p.82, 1994.

W. Ho, J. Jézéquel, and A. , Le Guennec, and F. Pennaneac'h. UMLAUT: an Extendible UML Transformation Framework, ASE'99 (Automated Software Engineering), 1999.

D. Hoffman, Heuristic Test Oracles. The balance between exhaustive comparison and no comparison at all. Software Testing and Quality Engineering, 1999.

Y. Hoijin, C. Byoungju, J. Jin-ok-hovsepyan, A. , S. V. Baelen et al., Mutation-based inter-class testing. in Asia Pacific Software Engineering Conference Composing Application Models and Security Models: On the Value of Aspect-Oriented Technologies. in Aspect Oriented Modeling (AOM) Workshop colocated with MoDELS'07 Arcstyler -the architectural ide for mda Available from: http ://www.io-software.com, Jéron'98] Jéron, T. and P. Morel. Test Generation Derived from Model-checking. in CAV'99, 1998.

J. Jézéquel, D. Deveaux, and Y. Le-traon, Reliable objects: lightweight testing for oo languages, IEEE Software, vol.18, issue.4, pp.76-83, 2001.
DOI : 10.1109/MS.2001.936221

J. Jézéquel and B. Meyer, Design by contract: the lessons of Ariane, Computer, vol.30, issue.1, pp.129-130, 1997.
DOI : 10.1109/2.562936

J. A. Jones, M. J. Harrold, J. Orlando, F. , U. Jones et al., Visualization of Test Information to Assist Fault Localization Conference in Software Engineering) Visualization of Test Information to Assist Fault Localization, ICSE'02 (Int ICSE'02. [Jouault'05] Jouault, F. and I. Kurtev. Transforming Models with ATL. in Model Transformations in Practice Workshop at MoDELS 2005. 2005. Montego Bay, Jamaica. [Jouault'06] Jouault, F. and I. Kurtev. On the Architectural Alignment of ATL and QVT. in ACM Symposium on Applied Computing -SAC06, 2002.

S. R. Judson, R. France, D. L. Carver-kalnins, A. , J. Barzdins et al., Model Transformations at the Metamodel Level. in Workshop in Software Model Engineering associated to UML'03 Model Transformation Language MOLA: Extended Patterns, 6th International Baltic Conference DB&IS, 2003.

B. Kalnins, A. , E. Celms, A. Sostaks, G. Kiczales et al., Model Transformation Approach Based on MOLA Aspect-Oriented Programming, Model Transformations in Practice Workshop at MoDELS 2005. 2005. Montego Bay, Jamaica. [Kiczales'97 ECOOP'97 (European Conference for Object-Oriented Programming McDermid, Investigating the effectiveness of object-oriented testing strategies using the mutation method. Software Testing, Verification and Reliability, pp.207-225, 1997.

S. Kim, M. J. Harrold, and Y. Kwon, MUGAMMA: Mutation Analysis of Deployed Software to Increase Confidence and Assist Evolution. in Second Workshop on Mutation Analysis, Polack. Model Comparison: A Foundation for Model Composition and Model Transformation Testing. in workshop GaMMa'06, 2006.

D. S. Kolovos, R. F. Paige, F. A. Polack-kruchten, and P. , The Epsilon Transformation Language Zürich, Zwitzerland. [Konigs'05] Konigs, A. Model Transformations with Triple Graph Grammars. in Model Transformations in Practice Workshop at MoDELS The Rational Unified Process: an introduction, First International Conference on Model Transformation, ICMT 2008M. Systematic Validation of Model Transformations. in Workshop in Software Model Engineering associated to UML'04, 1999.

J. M. Küster-'06a-]-küster, Definition and Validation of Model Transformations. Software and Systems Modeling, pp.233-259, 2006.

J. M. Küster, M. Abd-el-razik, J. M. Küster, R. Heckel, and G. Engels, Validation of Model Transformations -First Experiences using a White Box Approach. in workshop MoDeV²a 2006, part of MoDELS'06 Defining and Validating Transformations of UML, IEEE Symposia on Human Centric Computing Languages and Environment, 2003.

M. M. Lamari and J. Steel, Towards an Automated Test Generation for the Verification of Model Transformations Seoul, Korea. [Laprie'95] Laprie Practical Declarative Model Transformation With Tefkat, Symposium on Applied Computing SAC'07 Model Transformation in Practice Workshop, part of MoDELS'05, 2005.

L. Traon, Y. , B. Baudry, and J. Jézéquel, Design by Contract to Improve Software Vigilance, IEEE Transactions on Software Engineering, vol.32, issue.8, p.32, 2006.
DOI : 10.1109/TSE.2006.79
URL : https://hal.archives-ouvertes.fr/inria-00542784

L. Traon, Y. , D. Deveaux, J. Leitner, A. et al., Self-testable Components: from Pragmatic Tests to a Design-for-Testability Methodology. in TOOLS'99 (Technology of Object Oriented Languages and Systems), Contract Driven Development = Test Driven Development -Writing Test-Cases. in ESEC/FSE'07, 1999.

B. Levendovszky, T. , L. Lengyel, G. Mezei, H. Charaf-lin et al., A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS. in 2nd International Workshop on Graph Based Tools (GraBaTs) with ICGT DSMDiff: A Differentiation Tool for Domain- Specific Models Special Issue on Model-Driven Systems Development Model Comparison: A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development. in OOPSLA'04 A Testing Framework for Model Transformations, Model-driven Software Development -Research and Practice in Software Engineering, pp.9-22, 1985.

Y. Ma, Y. Kwon, A. J. Offutt, U. Ma, Y. et al., Inter-Class Mutation Operators for Java, ISSRE'02 (Int. Symposium on Software Reliability Engineering) MuJava : An Automated Class Mutation System. Software Testing, Verification and Reliability, 2005. [Mathur'94] Mathur, A.P. and W.E. Wong, An empirical comparison of data flow and mutation based test adequacy criteria. Software Testing, Verification and Reliability, pp.9-31, 1994.

J. D. Mcgregor, K. Mens, and P. Van-gorp, A Practical Guide To Testing Object Oriented Testing. Object Technology Series, A Taxonomy of Model Transformation. in Workshop on Graph and Model Transformation, 2001.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.25-40, 1992.
DOI : 10.1109/2.161279

B. Meyer, B. Meyer, I. Ciupa, A. Leitner, and L. L. Liu, Object-oriented software construction Automatic Testing of Object- Oriented Software, in SOFSEM, 1254.

T. Millan, L. Sabatier, P. Bazex, and C. Percebois, Mia-transformation Available from: http://www.miasoftware .com/. [Millan'08, NEPTUNE II Une plateforme pour la vérification et la transformation de modèles. Génie Logiciel, GL & IS, Numéro spécial Une plate-forme pour la vérification et la transformation de modèles, pp.30-34, 2008.

I. Moore, J. Jester-mottu, O. Barais, M. Skipper, D. Vojtisek et al., Villasimius, Sardinia Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles. in Session de présentation d'outils d'AFADL'07 Mutation Analysis Testing for Model Transformations, ECMDA'06 (European Conference on Model Driven Architecture). 2006a. Bilbao, Spain. [Mottu'06b] Mottu, J.-M., B. Baudry, and Y. Le Traon. Reusable MDA Components: A Testing-for-Trust Approach. in MoDELS'06, 2001.

B. Mottu, J. , B. Baudry, Y. Le-traon-mottu, J. et al., Model transformation testing : oracle issue Génération automatique de tests pour les transformations de modèles. in Ingénierie Des Modèles, MoDeVVa workshop colocated with ICST08. 2008a. Lillehammer, Norway. [Mottu'05], 2005.

P. Muller, F. Fleurey, and J. Jézéquel, Weaving executability into objectoriented meta-languages, MoDELS'05, 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. in Model Transformation in Practice Workshop, part of MoDELS'05, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000381

M. Murzek, G. Kappel, G. Kramler-myers, and G. J. , Model Transformation in Practice Using the BOC Model Transformer. in Model Transformations in Practice Workshop at MoDELS The art of Software Testing, 1979.

A. Narayanan and G. Karsai, Towards Verifying Model Transformations, Electronic Notes in Theoretical Computer Science, vol.211, issue.211, pp.191-200, 2008.
DOI : 10.1016/j.entcs.2008.04.041
URL : http://doi.org/10.1016/j.entcs.2008.04.041

Q. Foundation and A. J. Relational, Available from Investigations of the software testing coupling effect, eclipse.org/M2M/QVTR. [Objecteering Software] Objecteering Software. Objecteering. Available from, pp.5-20, 1992.

A. J. Offutt, A. Lee, G. Rothermel, R. H. Untch, and C. Zapf, An experimental determination of sufficient mutant operators, ACM Transactions on Software Engineering and Methodology, vol.5, issue.2, pp.99-118, 1996.
DOI : 10.1145/227607.227610

A. J. Offutt and J. Pan, Automatically Detecting Equivalent Mutants and Infeasible Paths. Software Testing, Verification and Reliability, pp.165-192, 1997.
DOI : 10.1002/(sici)1099-1689(199709)7:3<165::aid-stvr143>3.0.co;2-u
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.2798

A. J. Offutt, J. Pan, K. Tewary, and T. Zhang, An experimental evaluation of data flow and mutation testing. Software Practice and Experience, p.26, 1996.

A. J. Offutt, J. Voas, and J. Payne, Mutation operators for Ada, 1996.

J. Oldevik and Ø. Haugen, Higher-Order Transformations for Product Lines. in International Software Product Line Conference SPLC'07) Specification. AD/97-08-14, 1997a. [OMG'97b] OMG. Object Constraint Language Specification Available fromOCL) Final Adopted specification Core Final Adopted Specification, pp.6-7, 1997.

. Bibliographie, Available from: http://www.uml.org/. [OMG'08] OMG. Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT) Specification, version 1.0, Submission. 2005. [OMG'07] OMG. UML 2.1.2 Superstructure and Infrastructure, 2007.

T. J. Ostrand and M. J. Balcer, The category-partition method for specifying and generating functional tests, Communications of the ACM, issue.6, pp.31-676, 1988.

D. J. Panzl, Automatic Software Test Drivers, Computer, vol.11, issue.4, pp.44-50, 1978.
DOI : 10.1109/C-M.1978.218138

S. Pickin, C. Jard, Y. Le-traon, T. Jéron, J. Jézéquel et al., System Test Synthesis from UML Models of Distributed Software, FORTE. 2002. [Podnieks'05] Podnieks MDA: correctness of model transformations. Which models are schemas? Frontiers in Artificial Intelligence and Applications, pp.185-197, 2005.
DOI : 10.1007/3-540-36135-9_7
URL : https://hal.archives-ouvertes.fr/hal-00794606

D. D. Pollet, D. Vojtisek, J. Ramos, R. , O. Barais et al., Theory and Practice of Model Transformations ICMT'08 Une architecture pour les transformations de modèles et la restructuration de modèles UML OCL as a core UML transformation language. in WITUML Matching Model-Snippets. in MoDELS'07, Models in Conflict -Detection of Semantic Conflicts in Model-based Development. in proceedings of 3rd international workshop on model-driven enterprise information systems (MDAIS-2007), in conjunction with ICEIS'07, 2002.

N. Revault, Principes de méta-modélisation pour l'utilisation de canevas d'applications à objets (MétaGen et les frameworks), 1996.

D. J. Richardson, S. L. Aha, T. O. O-'malley-sen, S. , and B. Baudry, Specification-based test oracles for reactive systems A Practical Approach to Programming With Assertions Mutation-based Model Synthesis in Model Driven Engineering On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing, International conference on Software engineering ICSE'92 Proceedings of Mutation'06 workshop associated to ISSRE'06 Proceedings of ICST'08. 2008. Lillehammer, Norway. [Sen'07] Sen, S., B. Baudry, and D. Precup. Partial Model Completion in Model Driven Engineering using Constraint Logic Programming. in Proceedings of INAP'07 (International Conference on Applications of Declarative Programming and Knowledge Management, pp.19-31, 1992.

B. Sendall, S. , and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, pp.42-45, 2003.
DOI : 10.1109/MS.2003.1231150

K. Smolander, K. Lyytinen, V. Tahvanainen, and P. Marttiin, MetaEdit??? A flexible graphical environment for methodology modelling, Proceedings of the third international conference on Advanced information systems engineering, 1991.
DOI : 10.1007/3-540-54059-8_85

A. Solberg, R. Reddy, D. Simmonds, R. France, S. Ghosh-soley et al., Developing Service Oriented Systems Using an Aspect-Oriented Model Driven Framework Model-Based Test Driven Development of the Tefkat Model-Transformation Engine, ISSRE'04 (Int. Symposium on Software Reliability Engineering), 2000.

. Misra, MULTIGRAPH: an architecture for model-integrated computing AGG: A Graph Transformation Environment for Modeling and Validation of Software, First IEEE International Conference on Engineering of Complex Computer Systems, 1995.

G. Taentzer, K. Ehrig, E. Guerra, J. Lara, L. Lengyel et al., Model Transformations by Graph Transformations: A Comparative Study. in Model Transformations in Practice Workshop at MoDELS MetaEdit+: defining and using domain-specific modeling languages and code generators, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications: ACM. [Tratt'07] Tratt, L., Model transformations in MT. Science of Computer Programming, pp.68-196, 2003.

D. Trung, S. Ghosh, F. Robert, B. Baudry, and F. Fleurey, A Taxonomy of Faults for UML Designs. in 2nd MoDeVa workshop -Model design and Validation, in conjunction with MoDELS05 Towards Formal Verification of Model Transformations. in PhD Student Workshop of FMOODS 2002, Formal Methods for Open Object-Based Distributed Systems Advanced model transformation language constructs in the VIATRA2 framework, Science of Computer Programming, pp.68-214, 2002.

D. Varró and A. Pataricza, Automated Formal Verification of Model Transformations, Proceedings CSDUML 2003: Critical Systems Development in UML Workshop of UML'03, 2003.

D. Talpin and . Chemouil, The TOPCASED Project -A Toolkit in OPen-source for Critical Applications and SystEm Development. in conference in Data Systems In Aerospace (DASIA) PIE : A Dynamic Failure-Based Technique, J.M. IEEE Transactions on Software Engineering, issue.8, pp.18-717, 1992.

J. M. Voas and K. Miller, The Revealing Power of a Test Case Software Testing, Verification and Reliability, pp.25-42, 1992.

J. Warmer and A. Kleppe, The Object Constraint Language -Second Edition, Getting Your Models Ready for MDA, 2003.

E. J. Weyuker, On Testing Non-Testable Programs, The Computer Journal, vol.25, issue.4, pp.465-470, 1982.
DOI : 10.1093/comjnl/25.4.465

W. E. Wong, C. Ellis, C. Skourlas, A. L. Gall, S. Katsikas et al., On Mutation and Data Flow [Xactium] Xactium. Xmf-mosaic Available from: http://www, Genetic Algorithms Applications to Software Testing. in Fifth International Conference. Software Engineering and Its Applications, 1992.

S. Xanthakis, P. Régnier, K. K. Xing, Z. , E. Stroulia-yang et al., Le test des logiciels UMLDiff: An Algorithm for Object-Oriented Design Differencing Constructing an automated testing oracle: an effort to produce reliable software, Automated Software Engineering (ASE'05). 2005. USA. Computer Software and Applications Conference,COMPSAC'94 Model Transformations from a Data Parallel Formalism towards Synchronous Languages. in Forum on specification and design languages (FDL'07), 1994.