Model-Driven Development of Complex Software: A Research Roadmap, in Future of Software Engineering, 2007. ,
Challenges for Model Transformation Testing, Proceedings of IMDT workshop in conjunction with ECMDA'06, 2006. ,
Weaving executability into object-oriented metalanguages, Proceedings of MoDELS'05, pp.264-278, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00795095
Model transformation: a declarative, reusable patterns approach, Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings., pp.174-185, 2003. ,
DOI : 10.1109/EDOC.2003.1233847
AToM3: A Tool for Multi-formalism and Meta-modelling, Proceedings of FASE '02 (International Conference on Fundamental Approaches to Software Engineering), pp.174-188, 2002. ,
The category-partition method for specifying and generating functional tests, Communications of the ACM, issue.6, pp.31-676, 1988. ,
Available from: http://www.omg.org/mof/. 10. OMG. MOF 2.0 Core Final Adopted Specification Available from, 2004. ,
Test adequacy criteria for UML design models. Software Testing, Verification and Reliability, pp.95-127, 2003. ,
Validation, Verification, and Testing of Computer Software, pp.159-192, 1982. ,
Automatically Detecting Equivalent Mutants and Infeasible Paths Software Testing, Verification and Reliability 15. MMCC. Metamodel coverage checker Available from: http://www.irisa.fr/triskell/Softwares/protos/MMCC/. 16. Kermeta. The KerMeta Project Home Page Available from: http://www.kermeta.org. 17 Available from, J. Bézivin, B. Rumpe, A. Schürr, and L. Tratt. MTIP workshop, vol.7, issue.3, pp.165-192, 1997. ,
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
Definition and Validation of Model Transformations. Software and Systems Modeling, pp.233-259, 2006. ,
Validation of Model Transformations -First Experiences using a White Box ApproachModel Design and Validation Workshop associated to MoDELS'06), Proceedings of MoDeVa'06 21. A. Darabos, A. Pataricza, and D. Varro. Towards Testing the Implementation of Graph Transformations Proceedings of GT-VMT workshop associated to ETAPS'06, pp.69-80, 1922. ,
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems, Proceedings of ICGT 2004, pp.194-209, 2004. ,
DOI : 10.1007/978-3-540-30203-2_15
Automatic Conformance Testing of Web Services, Proceedings of FASE 2005, pp.34-48, 2005. ,
DOI : 10.1007/978-3-540-31984-9_4
Reusable MDA Components: A Testing-for-Trust Approach, Proceedings of MoDELS'06, 1925. ,
DOI : 10.1007/11880240_41
URL : https://hal.archives-ouvertes.fr/hal-00461274
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
Mutation Analysis Testing for Model Transformations, Proceedings of ECMDA'06 (European Conference on Model Driven Architecture, 2006. ,
DOI : 10.1007/11787044_28
URL : https://hal.archives-ouvertes.fr/hal-00456532
Towards Verified Model Transformations Compiler test case generation methods: a survey and assessment. Information and Software Technology, Proceedings of MoDeVa workshop associated to MoDELS'06, pp.78-93, 1997. ,
From Genetic to Bacteriological Algorithms for Mutation-Based Testing Software Testing, Verification and Reliability A Tool-Supported Approach to Testing UML Design Models, Proceedings of ICECCS'05. 31. OMG. UML 2.0 Object Constraint Language (OCL) Final Adopted specification. 2003. Available from, pp.73-96, 2005. ,
Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and Systems Modeling, pp.386-398, 2005. ,
A Case for Test-Code Generation in Model-Driven Systems, Proceedings of The second international conference on Generative programming and component engineering, pp.377-396, 2003. ,
DOI : 10.1007/978-3-540-39815-8_23
Towards Model-Driven Testing, Electronic Notes in Theoretical Computer Science, issue.6, p.82, 2003. ,
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool Mutation-based Model Synthesis in Model Driven Engineering, Proceedings of ISSRE'06 Proceedings of Mutation'06 workshop associated to ISSRE'06, 2006. ,