K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, UML2Alloy: A challenging model transformation, International Conference on Model Driven Engineering Languages and Systems, pp.436-450, 2007.

E. Batot, W. Kessentini, H. Sahraoui, and M. Famelis, Heuristic-Based Recommendation for Metamodel-OCL Coevolution, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.210-220, 2017.

C. Lionel, Y. Briand, . Labiche, O. Leeshawn, . Sullivan et al., Automated impact analysis of UML models, Journal of Systems and Software, vol.79, issue.3, pp.339-352, 2006.

J. Cabot, R. Claris, and D. Riera, Verification of UML/OCL class diagrams using constraint programming, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, pp.73-80, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00974321

J. Cabot and E. Teniente, Incremental integrity checking of UML/OCL conceptual schemas, Journal of Systems and Software, vol.82, pp.1459-1478, 2009.

A. Cicchetti, D. D. Ruscio, R. Eramo, and A. Pierantonio, Automating co-evolution in model-driven engineering, Enterprise Distributed Object Computing Conference, pp.222-231, 2008.

A. Cicchetti, D. D. Ruscio, R. Eramo, and A. Pierantonio, Automating co-evolution in model-driven engineering, Enterprise Distributed Object Computing Conference, pp.222-231, 2008.

A. Correa and C. Werner, Refactoring object constraint language specifications, Software & Systems Modeling, vol.6, pp.113-138, 2007.

J. Sánchez-cuadrado, E. Guerra, J. De, and L. , Quick fixing ATL model transformations, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.146-155, 2015.

J. Sánchez-cuadrado, E. Guerra, J. De, and L. , Quick fixing ATL transformations with speculative analysis, Software & Systems Modeling, pp.1-35, 2018.

M. Silva, A. Mougenot, X. Blanc, and R. Bendraou, Towards Automated Inconsistency Handling in Design Models, CAiSE, pp.348-362, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01292626

A. Demuth, R. Kretschmer, A. Egyed, and D. Maes, Introducing Traceability and Consistency Checking for Change Impact Analysis across Engineering Tools in an Automation Solution Company: An Experience Report, Software Maintenance and Evolution (ICSME), pp.529-538, 2016.

A. Egyed, Instant consistency checking for the UML, 28th International Conference on Software Engineering (ICSE 2006), pp.381-390, 2006.

A. Egyed, Automatically Detecting and Tracking Inconsistencies in Software Design Models, IEEE Trans. Software Eng, vol.37, pp.188-204, 2011.

B. William, K. Frakes, and . Kang, Software reuse research: Status and future, IEEE transactions on Software Engineering, vol.31, pp.529-536, 2005.

K. Garcés, F. Jouault, P. Cointe, and J. Bézivin, Managing model adaptation by precise detection of metamodel changes, Model Driven Architecture-Foundations and Applications, pp.34-49, 2009.

K. Garcés, M. Juan, F. Vara, E. Jouault, and . Marcos, Adapting transformations to metamodel changes via external transformation composition. Software & Systems Modeling, vol.13, pp.789-806, 2014.

J. García, O. Diaz, and M. Azanza, Model transformation co-evolution: A semi-automatic approach, SLE, vol.7745, pp.144-163, 2013.

R. Hebig, R. Djamel-eddine-khelladi, and . Bendraou, Surveying the corpus of model resolution strategies for metamodel evolution, 2015 Asia-Pacific Software Engineering Conference (APSEC), pp.135-142, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01474568

R. Hebig, R. Djamel-eddine-khelladi, and . Bendraou, Approaches to co-evolution of metamodels and models: A survey, IEEE Transactions on Software Engineering, vol.43, pp.396-414, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01525676

R. Hebig, T. Ho-quang, R. V. Michel, G. Chaudron, M. A. Robles et al., The quest for open source projects that use UML: mining GitHub, pp.173-183, 2016.

Á. Hegedüs, Á. Horváth, and I. Ráth, Moisés Castelo Branco, and Dániel Varró, VL/HCC. 17-24, 2011.

M. Herrmannsdoerfer, S. Benz, and E. Juergens, COPE-automating coupled evolution of metamodels and models, ECOOP 2009-Object-Oriented Programming, pp.52-76, 2009.

J. Hutchinson, M. Rouncefield, and J. Whittle, Modeldriven engineering practices in industry, Proceedings of the 33rd International Conference on Software Engineering, pp.633-642, 2011.

J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen, Empirical assessment of MDE in industry, Proceedings of the 33rd International Conference on Software Engineering, pp.471-480, 2011.

D. Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology (TOSEM), vol.11, pp.256-290, 2002.

W. Kessentini, H. Sahraoui, and M. Wimmer, Automated Co-evolution of Metamodels and Transformation Rules: A Search-Based Approach, International Symposium on Search Based Software Engineering, pp.229-245, 2018.

W. Kessentini, H. Sahraoui, and M. Wimmer, Automated metamodel/model co-evolution: A search-based approach, Information and Software Technology, vol.106, pp.49-67, 2019.

W. Kessentini, M. Wimmer, and H. Sahraoui, Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational Search, Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp.101-111, 2018.

. Djamel-eddine, R. Khelladi, S. Bendraou, Y. Baarir, M. Laurent et al., A framework to formally verify conformance of a software process to a software method, Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, pp.1518-1525, 2015.

R. Djamel-eddine-khelladi, M. Bendraou, and . Gervais, Ad-room: a tool for automatic detection of refactorings in objectoriented models, Proceedings of the 38th International Conference on Software Engineering Companion, pp.617-620, 2016.

R. Djamel-eddine-khelladi, R. Bendraou, M. Hebig, and . Gervais, A semi-automatic maintenance and co-evolution of OCL constraints with (meta) model evolution, Journal of Systems and Software, vol.134, pp.242-260, 2017.

R. Djamel-eddine-khelladi, R. Hebig, J. Bendraou, M. Robin, and . Gervais, Detecting complex changes during metamodel evolution, International Conference on Advanced Information Systems Engineering, pp.263-278, 2015.

R. Djamel-eddine-khelladi, R. Hebig, J. Bendraou, M. Robin, and . Gervais, Detecting complex changes and refactorings during (meta) model evolution, Information Systems, vol.62, pp.220-241, 2016.

R. Djamel-eddine-khelladi, R. Hebig, J. Bendraou, M. Robin, and . Gervais, Metamodel and constraints coevolution: A semi automatic maintenance of ocl constraints, International Conference on Software Reuse, pp.333-349, 2016.

R. Djamel-eddine-khelladi, A. Kretschmer, and . Egyed, Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels, Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp.404-414, 2018.

H. H. Djamel-eddine-khelladi, R. Rodriguez, A. Kretschmer, and . Egyed, An Exploratory Experiment on, 2017.

, Metamodel-Transformation Co-Evolution, 24th Asia-Pacific Software Engineering Conference (APSEC). IEEE, pp.576-581, 2017.

D. S. Kolovos, R. F. Paige, and F. Polack, Detecting and Repairing Inconsistencies across Heterogeneous Models, ICST, pp.356-364, 2008.

H. König and Z. Diskin, Efficient Consistency Checking of Interrelated Models, European Conference on Modelling Foundations and Applications, pp.161-178, 2017.

A. Kusel, J. Etzlstorfer, E. Kapsammer, W. Retschitzegger, J. Schoenboeck et al., Systematic Co-Evolution of OCL Expressions, 11th APCCM 2015, vol.27, p.30, 2015.

A. Kusel, J. Etzlstorfer, E. Kapsammer, W. Retschitzegger, W. Schwinger et al., Consistent co-evolution of models and transformations, ACM/IEEE 18th MODELS, pp.116-125, 2015.

J. L. Noir, O. Delande, D. Exertier, M. A. Almeida-da, S. et al., Operation based model representation: experiences on inconsistency detection, European Conference on Modelling Foundations and Applications, pp.85-96, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00626824

G. Liebel, N. Marko, M. Tichy, A. Leitner, and J. Hansson, Assessing the state-of-practice of model-based engineering in the embedded systems domain, Model-Driven Engineering Languages and Systems, pp.166-182, 2014.

L. Lúcio, M. Amrani, J. Dingel, L. Lambers, R. Salay et al., Model transformation intents and their properties. Software & systems modeling, vol.15, pp.647-684, 2016.

N. Macedo, T. Guimaraes, and A. Cunha, Model repair and transformation with Echo, Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on. IEEE, pp.694-697, 2013.

K. Mu?lu, Y. Brun, R. Holmes, D. Michael, D. Ernst et al., Speculative analysis of integrated development environment recommendations, ACM SIGPLAN Notices, vol.47, pp.669-682, 2012.

C. Nentwich, W. Emmerich, and A. Finkelstein, Consistency Management with Repair Actions, ICSE, pp.455-464, 2003.

A. Nöhrer, A. Reder, and A. Egyed, Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (NIER track), Proceedings of the 33rd International Conference on Software Engineering, pp.864-867, 2011.

. Omg, Object Constraint Language, 2014.

. Omg, Unified Modeling Language (UML), 2015.

. Omg, Unified Modeling Language, 2015.

J. Pinna-puissant, R. Van-der-straeten, and T. Mens, Resolving model inconsistencies using automated regression planning, Software & Systems Modeling, vol.14, pp.461-481, 2015.

A. Reder and A. Egyed, Computing repair trees for resolving inconsistencies in design models, ASE, pp.220-229, 2012.

A. Reder and A. Egyed, Incremental Consistency Checking for Complex Design Rules and Larger Model Changes, MODELS, pp.202-218, 2012.

A. Reder and A. Egyed, Determining the Cause of a Design Model Inconsistency, IEEE Trans. Software Eng, vol.39, pp.1531-1548, 2013.

I. Salman, N. Ayse-tosun-misirli, and . Juristo, Are students representatives of professionals in software engineering experiments?, In ICSE, vol.1, pp.666-676, 2015.

C. Douglas and . Schmidt, Model-driven engineering, COMPUTER-IEEE COMPUTER SOCIETY, vol.39, issue.2, p.25, 2006.

S. Samuel, M. B. Shapiro, and . Wilk, An analysis of variance test for normality (complete samples), Biometrika, vol.52, issue.4, pp.591-611, 1965.

C. Snook and M. Butler, UML-B: Formal modeling and design aided by UML, ACM Transactions on Software Engineering and Methodology (TOSEM), vol.15, issue.1, pp.92-122, 2006.

F. Steimann, J. Hagemann, and B. Ulke, Computing repair alternatives for malformed programs using constraint attribute grammars, In ACM SIGPLAN Notices, vol.51, pp.711-730, 2016.

M. Svahnberg, A. Aurum, and C. Wohlin, Using students as subjects-an empirical evaluation, 2nd ESEM. ACM, pp.288-290, 2008.

G. Taentzer, M. Ohrndorf, Y. Lamo, and A. Rutle, Change-Preserving Model Repair, International Conference on Fundamental Approaches to Software Engineering, pp.283-299, 2017.

G. Wachsmuth, Metamodel adaptation and model coadaptation, ECOOP, pp.600-624, 2007.

J. Whittle, J. Hutchinson, and M. Rouncefield, The state of practice in model-driven engineering, IEEE software, vol.31, pp.79-85, 2014.

C. Wohlin, P. Runeson, M. Höst, C. Magnus, B. Ohlsson et al., Experimentation in software engineering, 2012.

Y. Xiong, Z. Hu, H. Zhao, H. Song, M. Takeichi et al., Supporting automatic model inconsistency fixing, ESEC FSE, pp.315-324, 2009.