Core Final Adopted Specification, 2005. ,
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=10.1.1.106.2352
Classification of model transformation approaches, OOPSLA'03 ,
Handbook of Graph Grammars and Computing by Graph Transformation, 1999. ,
Interface mutation . Software Testing, Verification and Reliability, pp.227-247, 2001. ,
Modeling languages: Syntax, semantics and all that stuff, part i: The basic stuff, 2000. ,
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
Model driven engineering Integrated Formal Methods [10] OMG. The Object Constraint Language Specification 2.0, OMG Document, Third International Conference, pp.28603-28604, 2002. ,
Himesis: A hierarchical subgraph matching kernel for model driven development, 2005. ,
Handbook of Graph Grammars and Computing by Graph transformation, volume II: Applications, Languages and Tools, World Scientific, 1999. ,
A taxonomy of faults for uml designs., october, Proceedings of MoDeVa'05 (Model Design and Validation Workshop associated to MoDELS'05), 2005. ,