O. Mof, Core Final Adopted Specification, 2005.

P. E. Black, V. Okun, and Y. Y. , Mutation operators for specifications, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, 2000.
DOI : 10.1109/ASE.2000.873653

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Czarnecki and S. Helsen, Classification of model transformation approaches, OOPSLA'03

H. Ehrig, G. Engels, H. Kreowski, and G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation, 1999.

S. Ghosh and A. Mathur, Interface mutation . Software Testing, Verification and Reliability, pp.227-247, 2001.

D. Harel and B. Rumpe, Modeling languages: Syntax, semantics and all that stuff, part i: The basic stuff, 2000.

J. Mottu, B. Baudry, and Y. Le-traon, 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

S. Kent, Model driven engineering Integrated Formal Methods [10] OMG. The Object Constraint Language Specification 2.0, OMG Document, Third International Conference, pp.28603-28604, 2002.

M. Provost, Himesis: A hierarchical subgraph matching kernel for model driven development, 2005.

R. Bardohl, G. Taentzer, M. Minas, and A. Schurr, Handbook of Graph Grammars and Computing by Graph transformation, volume II: Applications, Languages and Tools, World Scientific, 1999.

T. Dinh-trong, S. Ghosh, R. France, B. Baudry, and F. Fleurey, A taxonomy of faults for uml designs., october, Proceedings of MoDeVa'05 (Model Design and Validation Workshop associated to MoDELS'05), 2005.