Model Transformation Testing Challenges, ECMDA workshop on Integration of Model Driven Development and Model Driven Testing, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00542781
Barriers to systematic model transformation testing, Communications of the ACM, vol.53, issue.6, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00542747
Model-driven software development: technology, engineering, management, 2006. ,
Model-Driven Software Engineering in Practice, ser, Synthesis Lectures on Software Engineering, 2012. ,
Generating instance models from meta models, Software and Systems Modeling, 2009. ,
Generating instance models from meta models, FMOODS, pp.156-170, 2006. ,
On combining multiformalism knowledge to select models for model transformation testing, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00456955
Automatic model generation strategies for model transformation testing, International Conference on Model Transformation, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00468256
Uniform random generation of huge metamodel instances, 5th European Conference on Model-Driven Architecture Foundations and Applications, pp.130-145, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00391816
Verification of uml/ocl class diagrams using constraint programming, Proc. of the Software Testing Verification and Validation Workshop, pp.73-80, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00974321
EMFtoCSP: A Tool for the Lightweight Verification of EMF Models, Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), 2012. ,
EMF: Eclipse Modeling Framework 2.0, 2009. ,
Assisting precise Metamodeling, 2012. ,
Model counting: A new strategy for obtaining good bounds, AAAI, pp.54-61, 2006. ,
Generalized satisfiability problems: minimal elements and phase transitions, TCS, vol.302, issue.1-3, pp.417-430, 2003. ,
Distance constraints in constraint satisfaction, IJCAI, pp.106-111, 2007. ,
Constraint Acquisition via Partial Queries, IJCAI, p.7, 2013. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00830325
A model seeker: Extracting global constraint models from positive examples, pp.141-157, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00754044
, Constraint logic programming using Eclipse, 2007.
Arc consistency for global cardinality constraints with costs, CP, pp.390-404, 1999. ,
A filtering algorithm for constraints of difference in csps, pp.362-367, 1994. ,
Abscon: A prototype to solve csps with abstraction, CP, pp.730-744, 2001. ,
B language metamodel in ecore format + ocl well-formedness rules, INRIA, 2012. ,
Sad3 metamodel + ocl well-formedness rules, 2012. ,