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
UML2Alloy: A Challenging Model Transformation, MoDELS 2007, 2007. ,
DOI : 10.1007/978-3-540-75209-7_30
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
Dagstuhl Reports, Decision Procedures in Soft, Hard and Bio-ware -Follow Up, 2011. ,
Path Feasibility Analysis for String-Manipulating Programs, TACAS 2009, pp.307-321, 2009. ,
DOI : 10.1007/978-3-540-79124-9_10
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
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
UMLtoCSP, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, 2007. ,
DOI : 10.1145/1321631.1321737
Finite Satisfiability of UML Class Diagrams by Constraint Programming, Proc. of the CP 2004 Workshop on CSP Techniques with Immediate Application, 2004. ,
Checking Unsatisfiability for OCL Constraints, Electronic Communications of the EASST, vol.24, pp.1-13, 2009. ,
Constraint Handling Rules, Constraint Programming, pp.90-107, 1994. ,
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
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
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
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
An Evaluation of Automata Algorithms for String Analysis, ) VMCAI. LNCS, pp.248-262, 2011. ,
DOI : 10.1007/978-3-642-00768-2_28
HAMPI, Proceedings of the eighteenth international symposium on Software testing and analysis, ISSTA '09, 2009. ,
DOI : 10.1145/1572272.1572286
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
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
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
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
Automatic Model Generation Strategies for Model Transformation Testing, ICMT 2009, 2009. ,
DOI : 10.1007/11768869_13
URL : https://hal.archives-ouvertes.fr/inria-00468256
Abstract, Theory and Practice of Logic Programming, vol.10, issue.01, pp.1-47, 2010. ,
DOI : 10.1145/1069774.1069795
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
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
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