K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, UML2Alloy: A Challenging Model Transformation, MoDELS, pp.436-450, 2007.
DOI : 10.1007/978-3-540-75209-7_30

E. Biermann and C. Ermel, Antworld simulation case study modeled by emf transformation, Proceedings of the 4 th International Workshop on Graph- Based Tools, 2008.

B. Kim, J. Bruce, and . Vanderwaart, Semanticsdriven language design: Statically type-safe virtual types in object-oriented languages, Electronic Notes in Theoretical Computer Science, vol.20, pp.50-75, 1999.

S. Buchwald and M. Kroll, A GrGen.net solution of the AntWorld case for the GraBaTs, GraBaTs, 2008.

C. Clifton, G. T. Leavens, C. Chambers, and T. D. Millstein, MultiJava: Modular open classes and symmetric multiple dispatch for java, Proceedings of the 15 th International Conference on Object- Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp.130-145, 2000.

M. Fowler, Refactoring: Improving the Design of Existing Code, 1999.
DOI : 10.1007/3-540-45672-4_31

. Fujaba, University of paderborn

B. Hoffman, J. Pérez, and T. Mens, A case study for program refactoring, GraBaTs, 2008.

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2006.

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002

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

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes et al., Aspect-Oriented Programming, Proceedings of the 11 th European Conference on Object-Oriented Programming, pp.220-242, 1997.

D. S. Kolovos, R. F. Paige, and F. Polack, The Epsilon Transformation Language, Proceedings of the 1 st International Conference on Theory and Practice of Model Transformations, pp.46-60, 2008.
DOI : 10.1007/978-3-540-69927-9_4

Y. S. Mahajan, S. Malik, and Z. Fu, Zchaff2004: An Efficient SAT Solver, Lecture Notes in Computer Science SAT 2004 Special, pp.360-375, 2004.
DOI : 10.1007/11527695_27

T. Mens, G. Taentzer, and O. Runge, Analysing refactoring dependencies using graph transformation, Software and Systems Modeling (SoSyM), pp.269-285, 2007.
DOI : 10.1007/s10270-006-0044-6

T. Mens and T. Tourwé, A survey of software refactoring, IEEE Transactions on Software Engineering, vol.30, issue.2, pp.126-139, 2004.
DOI : 10.1109/TSE.2004.1265817

O. Muliawan, B. D. Bois, and D. Janssens, Refactoring using JDT2MDR, GraBaTs, 2008.

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MODELS/UML, pp.264-278, 2005.
DOI : 10.1007/11557432_19

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

N. Een and N. Srensson, MiniSat a SAT solver with conflict-clause minimization, SAT, 2005.

O. Mof, 0 Query/View/Transformation Specification . Specification Version 1.0, Object Management Group, 2008.

S. Sen, B. Baudry, and J. Mottu, On combining mullti-formalism knowledge to select test models for model transformaion testing, IEEE International Conference on Software Testing, 2008.

S. Sen, B. Baudry, and H. Vangheluwe, Domain-Specific Model Editors with Model Completion, Proceedings of MPM Workshop associated to MoD- ELS'07, 2007.
DOI : 10.1007/978-3-540-69073-3_27

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

J. Steel and J. Jézéquel, On model typing, Software & Systems Modeling, vol.3, issue.5, pp.401-414, 2007.
DOI : 10.1007/s10270-006-0036-6

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

C. Tombelle and G. Vanwormhoudt, Dynamic and Generic Manipulation of Models: From Introspection to Scripting, MoDELS, pp.395-409, 2006.
DOI : 10.1007/11880240_28

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

. Viatra2, Department of measurement and information systems, budapest university of technology and economics

E. Weinell, Using PROGRES for graph-based program refactoring, GraBaTs, 2008.