S. Ali, M. Z. Iqbal, A. Arcuri, and L. C. Briand, A Search-Based OCL Constraint Solver for Model-Based Test Data Generation, 2011 11th International Conference on Quality Software, pp.41-50, 2011.
DOI : 10.1109/QSIC.2011.17

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

B. Baudry, S. Ghosh, F. Fleurey, R. B. France, Y. L. Traon et al., Barriers to systematic model transformation testing, Communications of the ACM, vol.53, issue.6, pp.139-143, 2010.
DOI : 10.1145/1743546.1743583

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

N. Bjorner, R. Nieuwenhuis, H. Veith, and A. Voronkov, Dagstuhl Reports, Decision Procedures in Soft, Hard and Bio-ware -Follow Up, 2011.

N. Bjørner, N. Tillmann, and A. Voronkov, Path Feasibility Analysis for String-Manipulating Programs, TACAS 2009, pp.307-321, 2009.
DOI : 10.1007/978-3-540-79124-9_10

F. Büttner, J. Cabot, and M. Gogolla, On validation of ATL transformation rules by transformation models, Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, 2011.
DOI : 10.1145/2095654.2095666

J. Cabot, R. Clarisó, E. Guerra, and J. De-lara, Verification and validation of declarative model-to-model transformations through invariants, Journal of Systems and Software, vol.83, issue.2, pp.283-302, 2010.
DOI : 10.1016/j.jss.2009.08.012

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

J. Cabot, R. Clarisó, and D. Riera, UMLtoCSP, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, 2007.
DOI : 10.1145/1321631.1321737

M. Cadoli, D. Calvanese, G. De-giacomo, and T. Mancini, Finite Satisfiability of UML Class Diagrams by Constraint Programming, Proc. of the CP 2004 Workshop on CSP Techniques with Immediate Application, 2004.

M. Clavel, M. Egea, and M. A. De-dios, Checking Unsatisfiability for OCL Constraints, Electronic Communications of the EASST, vol.24, pp.1-13, 2009.

T. W. Frühwirth, Constraint Handling Rules, Constraint Programming, pp.90-107, 1994.

M. Gogolla, F. Büttner, and M. Richters, USE: A UML-based specification environment for validating UML and OCL, Science of Computer Programming, vol.69, issue.1-3, pp.1-3, 2007.
DOI : 10.1016/j.scico.2007.01.013

K. Golden and W. Pang, Constraint Reasoning over Strings, Principles and Practice of Constraint Programming -CP 2003, 2003.
DOI : 10.1007/978-3-540-45193-8_26

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

C. A. González, F. Büttner, R. Clarisó, and J. Cabot, EMFtoCSP: A tool for the lightweight verification of EMF models, 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)
DOI : 10.1109/FormSERA.2012.6229788

G. Grahne, M. Nykänen, and E. Ukkonen, Reasoning about Strings in Databases, Journal of Computer and System Sciences, vol.59, issue.1, pp.116-162, 1999.
DOI : 10.1006/jcss.1999.1633

P. Hooimeijer and M. Veanes, An Evaluation of Automata Algorithms for String Analysis, ) VMCAI. LNCS, pp.248-262, 2011.
DOI : 10.1007/978-3-642-00768-2_28

A. Kiezun, V. Ganesh, P. J. Guo, M. D. Ernst, P. Hooimeijer et al., HAMPI, Proceedings of the eighteenth international symposium on Software testing and analysis, ISSTA '09, 2009.
DOI : 10.1145/1572272.1572286

M. Kuhlmann and M. Gogolla, From UML and OCL to Relational Logic and Back, 8th European Conference on Modelling Foundations and Applications (ECMFA), Proceedings, 2012.
DOI : 10.1007/978-3-642-33666-9_27

M. Kuhlmann, L. Hamann, and M. Gogolla, Extensive Validation of OCL Models by Integrating SAT Solving into USE, TOOLS 201, pp.290-306, 2011.
DOI : 10.1007/978-3-642-21952-8_21

H. Malgouyres and G. Motet, A UML model consistency verification approach based on meta-modeling formalization, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, 2006.
DOI : 10.1145/1141277.1141703

A. Maraee and M. Balaban, Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets, Proceedings of the 3rd European conference on Model driven architecture-foundations and applications . pp. 17?31. ECMDA-FA'07, 2007.
DOI : 10.1007/978-3-540-72901-3_2

S. Sen, B. Baudry, and J. M. Mottu, Automatic Model Generation Strategies for Model Transformation Testing, ICMT 2009, 2009.
DOI : 10.1007/11768869_13

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

J. Sneyers, P. V. Weert, T. Schrijvers, and L. D. Koninck, Abstract, Theory and Practice of Logic Programming, vol.10, issue.01, pp.1-47, 2010.
DOI : 10.1145/1069774.1069795

M. Soeken, R. Wille, and R. Drechsler, Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models, TAP 2011, pp.152-170, 2011.
DOI : 10.1016/S0747-7171(88)80004-X

M. Veanes, P. De-halleux, and N. Tillmann, Rex: Symbolic Regular Expression Explorer, 2010 Third International Conference on Software Testing, Verification and Validation, pp.498-507, 2010.
DOI : 10.1109/ICST.2010.15

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

J. Winkelmann, G. Taentzer, K. Ehrig, and J. M. Küster, Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars, Electronic Notes in Theoretical Computer Science, vol.211, pp.159-170, 2008.
DOI : 10.1016/j.entcs.2008.04.038