S. Ali, M. Z. Iqbal, A. Arcuri, and L. 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

S. Benoit-baudry, F. Ghosh, R. Fleurey, Y. France, . Le-traon-und-jean-marie 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

[. Beckert, Reiner Hähnle und Peter Schmitt, Hrsg. Verification of Object- Oriented Software. The KeY Approach, LNCS, vol.4334, 2007.

D. Achim, . Brucker-und-burkhart, and . Wolff, HOL-OCL: A Formal Proof Environment for UML/OCL, Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Proceedings, LNCS 4961, 2008.

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. Clavel, M. Egea, and M. A. García-de-dios, Checking Unsatisfiability for OCL Constraints, p.24, 2009.

J. Cabot and E. Teniente, Incremental integrity checking of UML/OCL conceptual schemas EMF: Eclipse Modeling Framework, Journal of Systems and Software, pp.1459-1478, 2008.

M. Gogolla, J. Bohling, and M. Richters, Validating UML and OCL models in USE by automatic snapshot generation, Software & Systems Modeling, vol.12, issue.4, pp.386-398, 2005.
DOI : 10.1007/s10270-005-0089-y

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.27-34, 2007.
DOI : 10.1016/j.scico.2007.01.013

L. Hamann and M. Gogolla, Improving Model Quality by Validating Constraints with Model Unit Tests, 2010 Workshop on Model-Driven Engineering, Verification, and Validation, pp.49-54, 2010.
DOI : 10.1109/MoDeVVa.2010.18

M. Hgk-]-lars-hamann and . Gogolla-und-mirco-kuhlmann, Zur Validierung von Kompositionsstrukturen in UML mit USE, Modellierung 2010, LNI 161, pp.169-177

[. and J. Bézivin, KM3: A DSL for Metamodel Specification Formal Methods for Open Object-Based Distributed Systems, LNCS, vol.4037, pp.171-185, 2006.

M. Kyas, H. Fecher, F. S. De-boer, J. Jacob, and J. Hooman, Formalizing UML Models and OCL Constraints in PVS, TOOLS 2011, pp.39-47, 2005.
DOI : 10.1016/j.entcs.2004.09.027
URL : http://doi.org/10.1016/j.entcs.2004.09.027

D. S. Kolovos, R. F. Paige, and F. Polack, The Epsilon Object Language (EOL) In Model Driven Architecture -Foundations and Applications, LNCS, vol.4066, pp.128-142, 2006.

[. Kuhlmann, K. Sohr, and M. Gogolla, Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011.
DOI : 10.1109/SSIRI.2011.18

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Model Driven Engineering Languages and Systems, 8th International Conference, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095