On challenges of model transformation from UML to Alloy, Software & Systems Modeling, vol.45, issue.15, pp.69-86, 2010. ,
DOI : 10.1007/s10270-008-0110-3
Test Case Generation by OCL Mutation and Constraint Solving Lightweight String Reasoning for OCL, QSIC Antonio Vallecillo, pp.64-71, 2005. ,
The KeY system 1.0 (Deduction Component), LNCS, vol.4603, pp.379-384, 2007. ,
DOI : 10.1007/978-3-540-73595-3_26
HOL-OCL: A Formal Proof Environment for UML/OCL, FASE, LNCS 4961, pp.97-100, 2008. ,
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming, AI*IA, pp.36-47, 2007. ,
DOI : 10.1007/978-3-540-74782-6_5
UMLtoCSP, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.547-548, 2007. ,
DOI : 10.1145/1321631.1321737
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests, ICTSS, LNCS 7019, pp.32-47, 2011. ,
DOI : 10.1007/978-3-642-24580-0_4
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams, AMAST, pp.368-373, 2006. ,
DOI : 10.1007/11784180_28
Checking Unsatisfiability for OCL Constraints, Electronic Communications of the EASST, vol.24, pp.1-13, 2009. ,
Querying UML Class Diagrams, FoSSaCS LNCS, vol.7213, pp.1-25, 2012. ,
A Feature Model for an IDE4OCL, p.36, 2010. ,
Initiating a Benchmark for UML and OCL Analysis Tools, 2013. ,
DOI : 10.1007/978-3-642-38916-0_7
URL : https://hal.archives-ouvertes.fr/hal-00815040
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), p.2012 ,
DOI : 10.1109/FormSERA.2012.6229788
URL : https://hal.archives-ouvertes.fr/hal-00688039
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
Modular architecture for a toolset supporting OCL, Science of Computer Programming, vol.44, issue.1, pp.51-69, 2002. ,
DOI : 10.1016/S0167-6423(02)00032-1
Formalizing UML Models and OCL Constraints in PVS, Electronic Notes in Theoretical Computer Science, vol.115, pp.39-47, 2005. ,
DOI : 10.1016/j.entcs.2004.09.027
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets, ECMDA- FA, pp.17-31, 2007. ,
DOI : 10.1007/978-3-540-72901-3_2
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas, Data & Knowledge Engineering, vol.73, pp.1-22, 2012. ,
DOI : 10.1016/j.datak.2011.09.004
Dynamic Validation of OCL Constraints with mOdCL, ECEASST, vol.44, 2011. ,
A concept for conformance testing of AutomationML models by means of formal proof using OCL, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), pp.1-5, 2010. ,
DOI : 10.1109/ETFA.2010.5641270
Re-Engineering Eclipse MDT/OCL for Xtext, ECE- ASST, vol.36, 2010. ,
Debugging of Inconsistent UML/OCL Models SMT-Based Enumeration of Object Graphs from UML Class Diagrams, ACM SIGSOFT Software Engineering Notes, vol.37, issue.4, pp.1078-10831, 2012. ,