{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T00:51:06Z","timestamp":1768870266851,"version":"3.49.0"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,5,26]],"date-time":"2021-05-26T00:00:00Z","timestamp":1621987200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,5,26]],"date-time":"2021-05-26T00:00:00Z","timestamp":1621987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["49\/520608.9\/18"],"award-info":[{"award-number":["49\/520608.9\/18"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["GR18112"],"award-info":[{"award-number":["GR18112"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["IB18034"],"award-info":[{"award-number":["IB18034"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100014440","name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades","doi-asserted-by":"publisher","award":["RTI2018-098652-B-I00"],"award-info":[{"award-number":["RTI2018-098652-B-I00"]}],"id":[{"id":"10.13039\/100014440","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s10270-021-00891-0","type":"journal-article","created":{"date-parts":[[2021,5,26]],"date-time":"2021-05-26T16:03:28Z","timestamp":1622045008000},"page":"81-112","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Suggesting model transformation repairs for rule-based languages using a contract-based testing approach"],"prefix":"10.1007","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6545-0913","authenticated-orcid":false,"given":"Roberto","family":"Rodriguez-Echeverria","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Mac\u00edas","sequence":"additional","affiliation":[]},{"given":"Adrian","family":"Rutle","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 M.","family":"Conejero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,5,26]]},"reference":[{"key":"891_CR1","doi-asserted-by":"crossref","unstructured":"Mussbacher, G., Amyot, D., Breu, R., Bruel, J.-M., Cheng, B.H.C., Collet, P., Benoit, C., Robert B.F., Rogardt H., James H., J\u00f6rg, K., Matthias, S.: The relevance of model-driven engineering thirty years from now. In: Model-Driven Engineering Languages and Systems, pp. 183\u2013200 (2014)","DOI":"10.1007\/978-3-319-11653-2_12"},{"key":"891_CR2","unstructured":"Baudry, B., Dinh-trong, T., Mottu, J.-M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Le Traon, Y.: Model transformation testing challenges. In: Proceedings of IMDT Work Conjunction with ECMDA\u201906 (2006)"},{"issue":"6","key":"891_CR3","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/1743546.1743583","volume":"53","author":"B Baudry","year":"2010","unstructured":"Baudry, B., Ghosh, S., Fleurey, F., France, R., Le Traon, Y., Mottu, J.-M.: Barriers to Systematic Model Transformation Testing. Commun. ACM 53(6), 139\u2013143 (2010)","journal-title":"Commun. ACM"},{"issue":"2","key":"891_CR4","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.1007\/s10270-013-0358-0","volume":"14","author":"LA Rahim","year":"2013","unstructured":"Rahim, L.A., Whittle, J.: A survey of approaches for verifying model transformations. Softw. Syst. Model. 14(2), 1003\u20131028 (2013)","journal-title":"Softw. Syst. Model."},{"key":"891_CR5","doi-asserted-by":"crossref","unstructured":"Vallecillo, A., Gogolla, M., Burgue\u00f1o, L., Wimmer, M., Hamann, L.: Formal specification and testing of model transformations. In: Formal Methods for Model-Driven Engineering, pp. 399\u2013437. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30982-3_11"},{"issue":"2","key":"891_CR6","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1007\/s10270-013-0369-x","volume":"14","author":"E Guerra","year":"2015","unstructured":"Guerra, E., Soeken, M.: Specification-driven model transformation testing. Softw. Syst. Model. 14(2), 623\u2013644 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"5","key":"891_CR7","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1109\/TSE.2014.2375201","volume":"41","author":"L Burgue\u00f1o","year":"2015","unstructured":"Burgue\u00f1o, L., Troya, J., Wimmer, M., Vallecillo, A.: Static fault localization in model transformations. IEEE Trans. Softw. Eng. 41(5), 490\u2013506 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"891_CR8","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/s10009-018-0491-8","volume":"20","author":"Z Cheng","year":"2018","unstructured":"Cheng, Z., Tisi, M.: Slicing ATL model transformations for scalable deductive verification and fault localization. Int. J. Softw. Tools Technol. Transfer 20(6), 645\u2013663 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"3","key":"891_CR9","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1007\/s10270-016-0541-1","volume":"17","author":"JS Cuadrado","year":"2018","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Quick fixing ATL transformations with speculative analysis. Softw. Syst. Model. 17(3), 779\u2013813 (2018)","journal-title":"Softw. Syst. Model."},{"key":"891_CR10","doi-asserted-by":"crossref","unstructured":"Guerra, E., Cuadrado, J.S., de Lara, J.: Towards effective mutation testing for ATL. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 78\u201388. IEEE (2019)","DOI":"10.1109\/MODELS.2019.00-13"},{"issue":"3","key":"891_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3241744","volume":"27","author":"J Troya","year":"2018","unstructured":"Troya, J., Segura, S., Parejo, J.A., Ruiz-Cort\u00e9s, A.: Spectrum-based fault localization in model transformations. ACM Trans. Softw. Eng. Methodol. 27(3), 1\u201350 (2018)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"891_CR12","doi-asserted-by":"publisher","first-page":"14054","DOI":"10.1109\/ACCESS.2020.2966540","volume":"8","author":"P Li","year":"2020","unstructured":"Li, P., Jiang, M., Ding, Z.: Fault localization with weighted test model in model transformations. IEEE Access 8, 14054\u201314064 (2020)","journal-title":"IEEE Access"},{"key":"891_CR13","doi-asserted-by":"crossref","unstructured":"Kretschmer, R., Khelladi, D.E., Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: From Abstract to concrete repairs of model inconsistencies: an automated approach. In: Proceedings\u2014Asia-Pacific Software Engineering Conference, APSEC, 2017-December, pp. 456\u2013465 (2018)","DOI":"10.1109\/APSEC.2017.52"},{"key":"891_CR14","doi-asserted-by":"crossref","unstructured":"Rodriguez-Echeverria, R., Mac\u00edas, F.: A statistical analysis approach to assist model transformation evolution. In: 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 226\u2013235, Ottawa, Canada (2015)","DOI":"10.1109\/MODELS.2015.7338253"},{"key":"891_CR15","unstructured":"Rodriguez-Echeverria, R., Mac\u00edas, F., Rutle, A.: On reducing model transformation testing overhead. In: 2nd Joint International Workshop on Patterns in Model Engineering and the 5th International Workshop on the Verification of Model Transformation, PAME-VOLT 2016, CEUR Workshop Proceedings. vol. 1693, pp. 58\u201367 (2016)"},{"key":"891_CR16","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Vallecillo, A.: Tractable model transformation testing. In: France, Robert B., Kuester, Jochen M., Bordbar, Behzad, Paige, Richard F. (eds.) Modelling Foundations and Applications. number 6698 in Lecture Notes in Computer Science, pp. 221\u2013235. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21470-7_16"},{"issue":"1","key":"891_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10515-012-0102-y","volume":"20","author":"E Guerra","year":"2013","unstructured":"Guerra, E., de Lara, J., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Automated verification of model transformations based on visual contracts. Autom. Softw. Eng. 20(1), 5\u201346 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"891_CR18","volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"L Bettini","year":"2016","unstructured":"Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd, London (2016)"},{"issue":"1\u20132","key":"891_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"891_CR20","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 years of triple graph grammars. In: Hartmut, E., Reiko, H., Grzegorz, R., Gabriele T. (eds) Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7\u201313, 2008. Proceedings, volume 5214 of Lecture Notes in Computer Science, pp. 411\u2013425. Springer (2008)","DOI":"10.1007\/978-3-540-87405-8_28"},{"key":"891_CR21","doi-asserted-by":"crossref","unstructured":"Anjorin, A.: An introduction to triple graph grammars as an implementation of the delta-lens framework. In: Jeremy, G., Perdita, S. (eds.) Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures, pp. 29\u201372, Springer, Cham (2018)","DOI":"10.1007\/978-3-319-79108-1_2"},{"key":"891_CR22","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. In: Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2006)"},{"issue":"3","key":"891_CR23","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.tcs.2007.02.002","volume":"376","author":"M Cerioli","year":"2007","unstructured":"Cerioli, M., Margaria, T., Wermelinger, M., de Lara, J., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G., Roswitha, B.: Fundamental aspects of software engineering attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3), 139\u2013163 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"891_CR24","doi-asserted-by":"crossref","unstructured":"Troya, J., Bergmayr, A., Burgue\u00f1o, L., Wimmer, M.: Towards systematic mutations for and with ATL model transformations. In: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 1\u201310. IEEE (2015)","DOI":"10.1109\/ICSTW.2015.7107455"},{"key":"891_CR25","doi-asserted-by":"crossref","unstructured":"Guerra, E., Cuadrado, J.S., de Lara, J.: Towards effective mutation testing for ATL. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 78\u201388 (2019)","DOI":"10.1109\/MODELS.2019.00-13"},{"key":"891_CR26","unstructured":"Troya, J., Burgue\u00f1o, L., Wimmer, M., Vallecillo, A.: Mutations in ATL Transformations and their Identification with Matching Tables. Technical Report 2, University of Malaga (2014)"},{"issue":"5","key":"891_CR27","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"891_CR28","doi-asserted-by":"crossref","unstructured":"Mottu, J.-M.., Baudry, B., Le Traon, Y.: Mutation analysis testing for model transformations. In: Rensink, A., Warmer, J. (eds.) Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10\u201313, 2006. Proceedings, Lecture Notes in Computer Science, pp. 376\u2013390. Springer, Berlin (2006)","DOI":"10.1007\/11787044_28"},{"key":"891_CR29","doi-asserted-by":"crossref","unstructured":"Bergmayr, A., Troya, J., Wimmer, M.: From out-place transformation evolution to in-place model patching. In: Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering\u2014ASE \u201914, ASE \u201914, pp. 647\u2013652, ACM Press, New York (2014)","DOI":"10.1145\/2642937.2642946"},{"key":"891_CR30","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez-Echeverr\u00eda, R., Conejero, J.M., Clemente, P.J., Preciado, J.C., S\u00e1nchez-Figueroa, F.: Modernization of legacy web applications into rich internet applications. In: Andreas, H., Nora, K. (eds.) Current Trends in Web Engineering, pp. 236\u2013250, Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-27997-3_24"},{"issue":"12","key":"891_CR31","doi-asserted-by":"publisher","first-page":"2981","DOI":"10.1016\/j.jss.2013.04.053","volume":"86","author":"JM Conejero","year":"2013","unstructured":"Conejero, J.M., Rodr\u00edguez-Echeverr\u00eda, R., S\u00e1nchez-Figueroa, F., Linaje, M., Preciado, J.C., Clemente, P.J.: Re-engineering legacy Web applications into RIAs by aligning modernization requirements, patterns and RIA features. J. Syst. Softw. 86(12), 2981\u20132994 (2013)","journal-title":"J. Syst. Softw."},{"key":"891_CR32","unstructured":"Rodriguez-Echeverria, R., Pav\u00f3n, V.M., Mac\u00edas, F., Conejero, J.M., Clemente, P.J., S\u00e1nchez-Figueroa, F.: IFML-based Model-Driven Front-End Modernization. In: Strahonja, V., Vr\u010dek, N., Plantak Vukovac, D., Barry, C., Lang, M., Linger, H., Schneider, C. (eds.) 24th Information Systems Development: Transforming Organisations and Society through Information Systems (ISD2014), pp. 226\u2013233, Vara\u017edin, Croatia (2014)"},{"issue":"8","key":"891_CR33","doi-asserted-by":"publisher","first-page":"1012","DOI":"10.1016\/j.infsof.2014.04.007","volume":"56","author":"H Bruneli\u00e8re","year":"2014","unstructured":"Bruneli\u00e8re, H., Cabot, J., Dup\u00e9, G., Madiot, F.: MoDisco: a model driven reverse engineering framework. Inf. Softw. Technol. 56(8), 1012\u20131032 (2014)","journal-title":"Inf. Softw. Technol."},{"key":"891_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in Software Engineering: An Introduction","author":"C Wohlin","year":"2000","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering: An Introduction. Kluwer Academic Publishers, Norwell (2000)"},{"issue":"4735","key":"891_CR35","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/978-3-540-75209-7_40","volume":"4735","author":"M Hibberd","year":"2007","unstructured":"Hibberd, M., Lawley, M., Raymond, K.: Forensic debugging of model transformations. Model Driven Eng. Lang. Syst. 4735(4735), 589\u2013604 (2007)","journal-title":"Model Driven Eng. Lang. Syst."},{"key":"891_CR36","doi-asserted-by":"crossref","unstructured":"Mottu, J.-M., Baudry, B., Le Traon, Y.: Model transformation testing: oracle issue. In: IEEE International Conference on Software Testing Verification and Validation Workshop, 2008. ICSTW \u201908, pp. 105\u2013112 (2008)","DOI":"10.1109\/ICSTW.2008.27"},{"key":"891_CR37","doi-asserted-by":"crossref","unstructured":"B\u00fcttner, F., Egea, M., Cabot, J.: On verifying ATL transformations using \u2018off-the-shelf\u2019 SMT solvers. In: Robert, B., France, J.K., Ruth, B., Colin, A. (eds.) Model Driven Engineering Languages and Systems, number 7590 in Lecture Notes in Computer Science, pp. 432\u2013448. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-33666-9_28"},{"key":"891_CR38","doi-asserted-by":"crossref","unstructured":"Gehan, M.K., Selim, F.B., James, R.C., Juergen, D., Shige, W.: Automated verification of model transformations in the automotive industry. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) Model-Driven Engineering Languages and Systems. number 8107 in Lecture Notes in Computer Science, pp. 690\u2013706. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-41533-3_42"},{"key":"891_CR39","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Dom\u00ednguez, A., Kolovos, D.S., Rose, L.M., Paige, R.F., Medina-Bulo, I.: Eunit: a unit testing framework for model management tasks. In: Model Driven Engineering Languages and Systems, pp. 395\u2013409. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24485-8_29"},{"key":"891_CR40","doi-asserted-by":"crossref","unstructured":"Oakes, B.J., Troya, J., L\u00facio, L., Wimmer, M.: Full contract verification for ATL using symbolic execution. Software and Systems Modeling, pp. 1\u201335 (2016)","DOI":"10.1007\/s10270-016-0548-7"},{"key":"891_CR41","doi-asserted-by":"crossref","unstructured":"Cheng, Z., Tisi, M.: A deductive approach for fault localization in ATL model transformations. In: International Conference on Fundamental Approaches to Software Engineering, pp. 300\u2013317. Springer, Berlin (2017)","DOI":"10.1007\/978-3-662-54494-5_17"},{"key":"891_CR42","doi-asserted-by":"crossref","unstructured":"Cheng, Z., Tisi, M.: Incremental deductive verification for relational model transformations. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 379\u2013389. IEEE (2017)","DOI":"10.1109\/ICST.2017.41"},{"issue":"9","key":"891_CR43","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1109\/TSE.2016.2635137","volume":"43","author":"JS Cuadrado","year":"2017","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Static analysis of model transformations. IEEE Trans. Softw. Eng. 43(9), 868\u2013897 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"11","key":"891_CR44","doi-asserted-by":"publisher","first-page":"1780","DOI":"10.1016\/j.jss.2009.06.035","volume":"82","author":"R Abreu","year":"2009","unstructured":"Abreu, R., Zoeteweij, P., Golsteijn, R., van Gemund, A.J.C.: A practical evaluation of spectrum-based fault localization. J. Syst. Softw. 82(11), 1780\u20131792 (2009)","journal-title":"J. Syst. Softw."},{"key":"891_CR45","first-page":"66","volume":"1","author":"V Aranega","year":"2009","unstructured":"Aranega, V., Mottu, J.-M., Etien, A., Dekeyser, J.-L.: Traceability mechanism for error localization in model transformation. ICSOFT 1, 66\u201373 (2009)","journal-title":"ICSOFT"},{"key":"891_CR46","unstructured":"Jiang, M., Chen, T.Y., Kuo, F.C., Zhou, Z.Q., Ding, Z.: Testing model transformation programs using metamorphic testing. In: Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, 2014-January, pp. 94\u201399 (2014)"},{"key":"891_CR47","doi-asserted-by":"publisher","first-page":"1339","DOI":"10.1016\/j.jss.2017.05.043","volume":"136","author":"J Troya","year":"2018","unstructured":"Troya, J., Segura, S., Ruiz-Cort\u00e9s, A.: Automated inference of likely metamorphic relations for model transformations. J. Syst. Softw. 136, 1339\u20131351 (2018)","journal-title":"J. Syst. Softw."},{"key":"891_CR48","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Quick fixing ATL model transformations. In: 2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 146\u2013155. IEEE, (2015)"},{"issue":"10","key":"891_CR49","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1145\/2398857.2384665","volume":"47","author":"K Mu\u015flu","year":"2012","unstructured":"Mu\u015flu, K., Brun, Y., Holmes, R., Ernst, M.D., Notkin, D.: Speculative analysis of integrated development environment recommendations. ACM SIGPLAN Notices 47(10), 669\u2013682 (2012)","journal-title":"ACM SIGPLAN Notices"},{"key":"891_CR50","doi-asserted-by":"crossref","unstructured":"Khelladi, D.E., Kretschmer, R., Egyed, A.: Change propagation-based and composition-based co-evolution of transformations with evolving metamodels. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 404\u2013414 (2018)","DOI":"10.1145\/3239372.3239380"},{"key":"891_CR51","doi-asserted-by":"crossref","unstructured":"Khelladi, D.E., Kretschmer, R., Egyed, A.: Detecting and exploring side effects when repairing model inconsistencies. In: Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, pp. 113\u2013126 (2019)","DOI":"10.1145\/3357766.3359546"},{"key":"891_CR52","volume-title":"The Epsilon Book","author":"DS Kolovos","year":"2011","unstructured":"Kolovos, D.S., Rose, L.M., Paige, R.F.: The Epsilon Book. Eclipse Foundation Inc., Ottawa (2011)"},{"key":"891_CR53","doi-asserted-by":"crossref","unstructured":"Garc\u00eda, J., Diaz, O., Azanza, M.: Model transformation co-evolution: a semi-automatic approach. In International Conference on Software Language Engineering, pp. 144\u2013163. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-36089-3_9"},{"key":"891_CR54","doi-asserted-by":"crossref","unstructured":"Kusel, A., Etzlstorfer, J., Kapsammer, E., Retschitzegger, W., Schwinger, W., Sch\u00f6nb\u00f6ck, J.: Consistent co-evolution of models and transformations. In: 2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 116\u2013125. IEEE (2015)","DOI":"10.1109\/MODELS.2015.7338242"},{"key":"891_CR55","doi-asserted-by":"crossref","unstructured":"Ruscio, D.D., Iovino, L., Pierantonio, A.: A methodological approach for the coupled evolution of metamodels and atl transformations. In: International Conference on Theory and Practice of Model Transformations, pp. 60\u201375. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-38883-5_9"},{"key":"891_CR56","doi-asserted-by":"crossref","unstructured":"Di Rocco, J., Di Ruscio, D., Iovino, L., Pierantonio, A.: Dealing with the coupled evolution of metamodels and model-to-text transformations. In: ME@ MoDELS, pp. 22\u201331 (2014)","DOI":"10.1007\/978-3-642-38883-5_9"},{"issue":"2","key":"891_CR57","doi-asserted-by":"publisher","first-page":"2-1","DOI":"10.5381\/jot.2012.11.2.a2","volume":"11","author":"M Wimmer","year":"2012","unstructured":"Wimmer, M., Mart\u00ednez, S., Jouault, F., Cabot, J.: A catalogue of refactorings for model-to-model transformations. J. Object Technol. 11(2), 2\u20131 (2012)","journal-title":"J. Object Technol."},{"key":"891_CR58","doi-asserted-by":"crossref","unstructured":"Alkhazi, B., Ruas, T., Kessentini, M., Wimmer, M., Grosky, W.I.: Automated refactoring of ATL model transformations. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems\u2014MODELS \u201916, pp. 295\u2013304 (2016)","DOI":"10.1145\/2976767.2976782"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00891-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00891-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00891-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,16]],"date-time":"2022-02-16T06:05:35Z","timestamp":1644991535000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00891-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,26]]},"references-count":58,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["891"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00891-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,5,26]]},"assertion":[{"value":"23 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 May 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 May 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 May 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}