{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T15:14:41Z","timestamp":1773501281771,"version":"3.50.1"},"reference-count":263,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2022,11,21]],"date-time":"2022-11-21T00:00:00Z","timestamp":1668988800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Commission (FEDER) and Junta de Andalucia","award":["APOLO (US-1264651) and EKIPMENT-PLUS (P18-FR-2895)"],"award-info":[{"award-number":["APOLO (US-1264651) and EKIPMENT-PLUS (P18-FR-2895)"]}]},{"name":"Spanish Government","award":["HORATIO (RTI2018-101204-B-C21), COSCA (PGC2018-094905-B-I00) and LOCOSS (PID2020-114615RB-I00)"],"award-info":[{"award-number":["HORATIO (RTI2018-101204-B-C21), COSCA (PGC2018-094905-B-I00) and LOCOSS (PID2020-114615RB-I00)"]}]},{"name":"Austrian Science Fund","award":["P 28519-N31, P 30525-N31"],"award-info":[{"award-number":["P 28519-N31, P 30525-N31"]}]},{"name":"Austrian Federal Ministry for Digital and Economic Affairs and the National Foundation for Research, Technology and Development"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2023,4,30]]},"abstract":"<jats:p>Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness of model transformations, and thus, detecting and locating bugs in model transformations have been popular research topics in recent years. This surge of work has led to a vast literature on model transformation testing and debugging, which makes it challenging to gain a comprehensive view of the current state-of-the-art. This is an obstacle for newcomers to this topic and MDE practitioners to apply these approaches. This article presents a survey on testing and debugging model transformations based on the analysis of 140\u00a0papers on the topics. We explore the trends, advances, and evolution over the years, bringing together previously disparate streams of work and providing a comprehensive view of these thriving areas. In addition, we present a conceptual framework to understand and categorize the different proposals. Finally, we identify several open research challenges and propose specific action points for the model transformation community.<\/jats:p>","DOI":"10.1145\/3523056","type":"journal-article","created":{"date-parts":[[2022,3,16]],"date-time":"2022-03-16T10:19:39Z","timestamp":1647425979000},"page":"1-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Model Transformation Testing and Debugging: A Survey"],"prefix":"10.1145","volume":"55","author":[{"given":"Javier","family":"Troya","sequence":"first","affiliation":[{"name":"ITIS Software, Universidad de M\u00e1laga, Malaga, Spain"}]},{"given":"Sergio","family":"Segura","sequence":"additional","affiliation":[{"name":"SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, Spain"}]},{"given":"Lola","family":"Burgue\u00f1o","sequence":"additional","affiliation":[{"name":"IN3, Open University of Catalonia, Barcelona, Spain"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[{"name":"CDL-MINT, Johannes Kepler University, Linz, Austria"}]}],"member":"320","published-online":{"date-parts":[[2022,11,21]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997382"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-020-00271-w"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45547-1_2"},{"key":"e_1_3_3_5_2","first-page":"47","volume-title":"Proceedings of the MoDeVVA","author":"Anastasakis K.","year":"2007","unstructured":"K. Anastasakis, B. Bordbar, and J. K\u00fcster. 2007. Analysis of model transformations via Alloy. In Proceedings of the MoDeVVA. 47\u201356."},{"key":"e_1_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1532"},{"key":"e_1_3_3_7_2","first-page":"66","volume-title":"Proceedings of the ICSOFT","author":"Aranega V.","year":"2009","unstructured":"V. Aranega, J.-M. Mottu, A. Etien, and J. Dekeyser. 2009. Traceability mechanism for error localization in model transformation. In Proceedings of the ICSOFT. 66\u201373."},{"key":"e_1_3_3_8_2","first-page":"137","volume-title":"Proceedings of the ICSOFT","author":"Aranega V.","year":"2009","unstructured":"V. Aranega, J.-M. Mottu, A. Etien, and J. Dekeyser. 2009. Using Trace to situate errors in model transformations. In Proceedings of the ICSOFT. 137\u2013149."},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/MoDeVVa.2010.15"},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21210-9_25"},{"key":"e_1_3_3_11_2","volume-title":"Proceedings of the GTVMT","author":"Arifulina S.","year":"2012","unstructured":"S. Arifulina, C. Soltenborn, and G. Engels. 2012. Coverage criteria for testing DMM specifications. In Proceedings of the GTVMT."},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976785"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21732-6_6"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21952-8_3"},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2205"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25032-3_8"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2011.0013"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.27"},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2375201"},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/2432497.2432503"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-33223-5_42"},{"key":"e_1_3_3_22_2","first-page":"48","volume-title":"Proceedings of the PAME\/VOLT","author":"Burgue\u00f1o L.","year":"2016","unstructured":"L. Burgue\u00f1o, F. Hilken, A. Vallecillo, and M. Gogolla. 2016. Generating effective test suites for model transformations using classifying terms. In Proceedings of the PAME\/VOLT. 48\u201357."},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61473-1_5"},{"key":"e_1_3_3_24_2","first-page":"1","volume-title":"Proceedings of the AMT","author":"Calegari D.","year":"2013","unstructured":"D. Calegari and A. Delgado. 2013. Rule chains coverage for testing QVT-Relations transformations. In Proceedings of the AMT. 1\u201310."},{"key":"e_1_3_3_25_2","first-page":"1","volume-title":"Proceedings of the OCL","volume":"24","author":"Cariou E.","year":"2009","unstructured":"E. Cariou, N. Belloir, F. Barbier, and N. Djemam. 2009. OCL contracts for the verification of model transformations. In Proceedings of the OCL, Vol. 24. 1\u201315."},{"key":"e_1_3_3_26_2","first-page":"1","volume-title":"Proceedings of the OCL-MDE","author":"Cariou E.","year":"2004","unstructured":"E. Cariou, R. Marvie, L. Seinturier, and L. Duchien. 2004. OCL for the specification of model transformation contracts. In Proceedings of the OCL-MDE. 1\u201315."},{"key":"e_1_3_3_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_17"},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-018-0491-8"},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/QUATIC.2010.15"},{"key":"e_1_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0208-9"},{"key":"e_1_3_3_31_2","first-page":"63","volume-title":"Proceedings of the PSRC","author":"Corley J.","year":"2014","unstructured":"J. Corley. 2014. Exploring omniscient debugging for model transformations. In Proceedings of the PSRC. 63\u201368."},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-015-9304-4"},{"key":"e_1_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.031"},{"key":"e_1_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_3"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41418-4_20"},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00051"},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0095-y"},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/11768869_13"},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38883-5_17"},{"key":"e_1_3_3_40_2","first-page":"1","volume-title":"Proceedings of the AMT","author":"Finot O.","year":"2013","unstructured":"O. Finot, J.-M. Mottu, G. Suny\u00e9, and T. Degueule. 2013. Using meta-model coverage to qualify test oracles. In Proceedings of the AMT. 1\u201310."},{"key":"e_1_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13688-7_6"},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0074-8"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08789-4_4"},{"key":"e_1_3_3_44_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0089-y"},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21470-7_16"},{"key":"e_1_3_3_46_2","first-page":"312","volume-title":"Proceedings of the MODELS","author":"Gogolla M.","year":"2017","unstructured":"M. Gogolla, A. Vallecillo, L. Burgue\u00f1o, and F. Hilken. 2017. Employing classifying terms for testing model transformations. In Proceedings of the MODELS. 312\u2013321."},{"key":"e_1_3_3_47_2","doi-asserted-by":"publisher","DOI":"10.1145\/2851613.2851751"},{"key":"e_1_3_3_48_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_29"},{"key":"e_1_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30476-7_3"},{"key":"e_1_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2010.25"},{"key":"e_1_3_3_51_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16145-2_8"},{"key":"e_1_3_3_52_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-012-0102-y"},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0369-x"},{"key":"e_1_3_3_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2019.00-13"},{"key":"e_1_3_3_55_2","first-page":"152","article-title":"A domain-specific language for model mutation and its application to the automated generation of exercises","author":"G\u00f3mez-Abajo P.","year":"2017","unstructured":"P. G\u00f3mez-Abajo, E. Guerra, and J. de Lara. 2017. A domain-specific language for model mutation and its application to the automated generation of exercises. Comput. Lang. Syst. Struct. (2017), 152\u2013173.","journal-title":"Comput. Lang. Syst. Struct."},{"key":"e_1_3_3_56_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.07.010"},{"key":"e_1_3_3_57_2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.26"},{"key":"e_1_3_3_58_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.04.044"},{"key":"e_1_3_3_59_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0634-5"},{"key":"e_1_3_3_60_2","volume-title":"Proceedings of the GTVMT","author":"Heckel R.","year":"2011","unstructured":"R. Heckel, T. A. Khan, and R. Machado. 2011. Towards test coverage criteria for visual contracts. In Proceedings of the GTVMT."},{"key":"e_1_3_3_61_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_40"},{"key":"e_1_3_3_62_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0568-3"},{"key":"e_1_3_3_63_2","doi-asserted-by":"publisher","DOI":"10.1109\/KSE.2018.8573372"},{"key":"e_1_3_3_64_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCKE.2018.8566335"},{"key":"e_1_3_3_65_2","first-page":"94","volume-title":"Proceedings of the SEKE","author":"Jiang M.","year":"2014","unstructured":"M. Jiang, T. Y. Chen, F. Kuo, Z. Zhou, and Z. Ding. 2014. Testing model transformation programs using metamorphic testing. In Proceedings of the SEKE. 94\u201399."},{"key":"e_1_3_3_66_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08789-4_2"},{"key":"e_1_3_3_67_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_30"},{"key":"e_1_3_3_68_2","first-page":"449","volume-title":"Proceedings of the MODELS","author":"Jukss M.","year":"2017","unstructured":"M. Jukss, C. Verbrugge, and H. Vangheluwe. 2017. Transformations debugging transformations. In Proceedings of the MODELS. 449\u2013454."},{"key":"e_1_3_3_69_2","doi-asserted-by":"publisher","DOI":"10.1145\/1923947.1923955"},{"key":"e_1_3_3_70_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0079-3"},{"key":"e_1_3_3_71_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.13"},{"key":"e_1_3_3_72_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_11"},{"key":"e_1_3_3_73_2","first-page":"651","article-title":"A black-box and contract-based verification of model transformations","author":"Lahrouni M.","year":"2019","unstructured":"M. Lahrouni, E. Cariou, and A. E. Fazziki. 2019. A black-box and contract-based verification of model transformations. Int. Arab J. Inf. Technol. (2019), 651\u2013660.","journal-title":"Int. Arab J. Inf. Technol."},{"key":"e_1_3_3_74_2","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244220"},{"key":"e_1_3_3_75_2","doi-asserted-by":"publisher","DOI":"10.1631\/FITEE.1400111"},{"key":"e_1_3_3_76_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2966540"},{"key":"e_1_3_3_77_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28554-7_10"},{"key":"e_1_3_3_78_2","first-page":"1","volume-title":"Proceedings of the AMT","author":"Matragkas N. D.","year":"2013","unstructured":"N. D. Matragkas, D. S. Kolovos, R. F. Paige, and A. Zolotas. 2013. A traceability-driven approach to model transformation testing. In Proceedings of the AMT. 1\u201310."},{"key":"e_1_3_3_79_2","doi-asserted-by":"publisher","DOI":"10.1145\/2000410.2000413"},{"key":"e_1_3_3_80_2","first-page":"63","volume-title":"Proceedings of the AMT","author":"McQuillan J. A.","year":"2009","unstructured":"J. A. McQuillan and J. Power. 2009. White-box coverage criteria for model transformations. In Proceedings of the AMT. 63\u201377."},{"key":"e_1_3_3_81_2","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_28"},{"key":"e_1_3_3_82_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.27"},{"key":"e_1_3_3_83_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381802"},{"key":"e_1_3_3_84_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.7"},{"key":"e_1_3_3_85_2","doi-asserted-by":"publisher","DOI":"10.1109\/EUROCON.2013.6625025"},{"key":"e_1_3_3_86_2","first-page":"1","volume-title":"Proceedings of the GT-VMT","volume":"10","author":"Narayanan A.","year":"2008","unstructured":"A. Narayanan and G. Karsai. 2008. Verifying model transformations by structural correspondence. In Proceedings of the GT-VMT, Vol. 10. 1\u201315."},{"key":"e_1_3_3_87_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45234-6_11"},{"key":"e_1_3_3_88_2","doi-asserted-by":"publisher","DOI":"10.1109\/KSE.2018.8573367"},{"key":"e_1_3_3_89_2","doi-asserted-by":"publisher","DOI":"10.1109\/KSE.2019.8919486"},{"key":"e_1_3_3_90_2","first-page":"532","volume-title":"Proceedings of the MODELS Workshops","author":"Oakes B. J.","year":"2018","unstructured":"B. J. Oakes, L. Lucio, C. Verbrugge, and H. Vangheluwe. 2018. Debugging of model transformations and contracts in SyVOLT. In Proceedings of the MODELS Workshops. 532\u2013537."},{"key":"e_1_3_3_91_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42064-6_3"},{"key":"e_1_3_3_92_2","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859070"},{"key":"e_1_3_3_93_2","first-page":"58","volume-title":"Proceedings of the PAME\/VOLT","author":"Rodr\u00edguez-Echeverr\u00eda R.","year":"2016","unstructured":"R. Rodr\u00edguez-Echeverr\u00eda, F. Mac\u00edas, and A. Rutle. 2016. On reducing model transformation testing overhead. In Proceedings of the PAME\/VOLT. 58\u201367."},{"key":"e_1_3_3_94_2","doi-asserted-by":"publisher","DOI":"10.1109\/CMSBSE.2013.6604431"},{"key":"e_1_3_3_95_2","volume-title":"Proceedings of the GTVMT","author":"Runge O.","year":"2013","unstructured":"O. Runge, T. A. Khan, and R. Heckel. 2013. Test case generation using visual contracts. In Proceedings of the GTVMT."},{"key":"e_1_3_3_96_2","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1735"},{"key":"e_1_3_3_97_2","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2008.13"},{"issue":"3","key":"e_1_3_3_98_2","first-page":"1","article-title":"Towards interactive, test-driven development of model transformations","volume":"19","author":"S\u00e1nchez-Cuadrado J.","year":"2020","unstructured":"J. S\u00e1nchez-Cuadrado. 2020. Towards interactive, test-driven development of model transformations. J. Object Technol. 19, 3 (2020), 1\u201312.","journal-title":"J. Object Technol."},{"key":"e_1_3_3_99_2","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338245"},{"key":"e_1_3_3_100_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2635137"},{"key":"e_1_3_3_101_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0541-1"},{"key":"e_1_3_3_102_2","first-page":"1","volume-title":"Proceedings of the BigMDE","author":"Scheidgen M.","year":"2015","unstructured":"M. Scheidgen. 2015. Generation of large random models for benchmarking. In Proceedings of the BigMDE. 1\u201310."},{"key":"e_1_3_3_103_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12261-3_2"},{"key":"e_1_3_3_104_2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2013.21"},{"key":"e_1_3_3_105_2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2012.56"},{"key":"e_1_3_3_106_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_42"},{"key":"e_1_3_3_107_2","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410962"},{"key":"e_1_3_3_108_2","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180186"},{"key":"e_1_3_3_109_2","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.12"},{"key":"e_1_3_3_110_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.62"},{"key":"e_1_3_3_111_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_11"},{"key":"e_1_3_3_112_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30476-7_2"},{"key":"e_1_3_3_113_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39742-4_16"},{"key":"e_1_3_3_114_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70708"},{"key":"e_1_3_3_115_2","first-page":"34","volume-title":"Proceedings of the ISSRE","author":"S\u00e1nchez-Cuadrado J.","year":"2014","unstructured":"J. S\u00e1nchez-Cuadrado, E. Guerra, and J. de Lara. 2014. Uncovering errors in ATL model transformations using static analysis and constraint solving. In Proceedings of the ISSRE. 34\u201344."},{"key":"e_1_3_3_116_2","first-page":"85","volume-title":"Proceedings of the ICSE Companion","author":"S\u00e1nchez-Cuadrado J.","year":"2018","unstructured":"J. S\u00e1nchez-Cuadrado, E. Guerra, and J. de Lara. 2018. AnATLyzer: An advanced IDE for ATL model transformations. In Proceedings of the ICSE Companion. 85\u201388."},{"key":"e_1_3_3_117_2","first-page":"12","volume-title":"Proceedings of the MODELS","author":"S\u00e1nchez-Cuadrado J.","year":"2017","unstructured":"J. S\u00e1nchez-Cuadrado, E. Guerra, J. de Lara, R. Claris\u00f3, and J. Cabot. 2017. Translating target to source constraints in model-to-model transformations. In Proceedings of the MODELS. 12\u201322."},{"key":"e_1_3_3_118_2","doi-asserted-by":"publisher","DOI":"10.1145\/2432497.2432501"},{"key":"e_1_3_3_119_2","first-page":"1","volume-title":"Proceedings of the AMT","volume":"1077","author":"Tiso A.","year":"2013","unstructured":"A. Tiso, G. Reggio, and M. Leotta. 2013. A method for testing model to text transformations. In Proceedings of the AMT, Vol. 1077. 1\u201310."},{"key":"e_1_3_3_120_2","first-page":"14","volume-title":"Proceedings of the AMT","author":"Tiso A.","year":"2014","unstructured":"A. Tiso, G. Reggio, and M. Leotta. 2014. Unit testing of model to text transformations. In Proceedings of the AMT. 14\u201323."},{"key":"e_1_3_3_121_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2015.7107455"},{"key":"e_1_3_3_122_2","first-page":"1","volume-title":"Proceedings of the JISBD","author":"Troya J.","year":"2017","unstructured":"J. Troya, S. Segura, J. Parejo, and A. Ruiz-Cort\u00e9s. 2017. An approach for debugging model transformations applying spectrum-based fault localization. In Proceedings of the JISBD. 1\u20134."},{"key":"e_1_3_3_123_2","doi-asserted-by":"publisher","DOI":"10.1145\/3241744"},{"key":"e_1_3_3_124_2","first-page":"281","volume-title":"Proceedings of the JISBD","author":"Troya J.","year":"2016","unstructured":"J. Troya, S. Segura, and A. Ruiz-Cort\u00e9s. 2016. Towards the automation of metamorphic testing in model transformations. In Proceedings of the JISBD. 281\u2013284."},{"key":"e_1_3_3_125_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.05.043"},{"key":"e_1_3_3_126_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100084"},{"key":"e_1_3_3_127_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.80"},{"key":"e_1_3_3_128_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30982-3_11"},{"key":"e_1_3_3_129_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2006.55"},{"key":"e_1_3_3_130_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2008.4483232"},{"key":"e_1_3_3_131_2","first-page":"42","volume-title":"Proceedings of the MDEBE","author":"Wang W.","year":"2013","unstructured":"W. Wang, M. Kessentini, and W. Jiang. 2013. Test cases generation for model transformations from structural information. In Proceedings of the MDEBE. 42\u201351."},{"key":"e_1_3_3_132_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08789-4_1"},{"key":"e_1_3_3_133_2","first-page":"1","volume-title":"Proceedings of the GraBaTs","volume":"52","author":"Wieber M.","year":"2012","unstructured":"M. Wieber and A. Sch\u00fcrr. 2012. Gray box coverage criteria for testing graph pattern matching. In Proceedings of the GraBaTs, Vol. 52. 1\u201312."},{"key":"e_1_3_3_134_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38883-5_18"},{"key":"e_1_3_3_135_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_13"},{"key":"e_1_3_3_136_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.99"},{"key":"e_1_3_3_137_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01112-2_33"},{"key":"e_1_3_3_138_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_59"},{"key":"e_1_3_3_139_2","doi-asserted-by":"publisher","DOI":"10.5220\/0005650000400051"},{"key":"e_1_3_3_140_2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.31"},{"key":"e_1_3_3_141_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2014.103"},{"key":"e_1_3_3_142_2","unstructured":"[n.d.]. AnATLyzer. Retrieved from https:\/\/anatlyzer.github.io\/."},{"key":"e_1_3_3_143_2","unstructured":"[n.d.]. ATL Zoo. Retrieved from http:\/\/www.eclipse.org\/atl\/atlTransformations."},{"key":"e_1_3_3_144_2","unstructured":"[n.d.]. DSLTrans. Retrieved from https:\/\/github.com\/mbeddr\/language_verification."},{"key":"e_1_3_3_145_2","unstructured":"[n.d.]. Eclipse Epsilon. Retrieved from https:\/\/www.eclipse.org\/epsilon\/."},{"key":"e_1_3_3_146_2","unstructured":"[n.d.]. EMF Model Generator. Retrieved from https:\/\/github.com\/RuleBasedApproach\/EMFModelGenerator."},{"key":"e_1_3_3_147_2","unstructured":"[n.d.]. EMFtoCSP. Retrieved from https:\/\/github.com\/atlanmod\/EMFtoCSP."},{"key":"e_1_3_3_148_2","unstructured":"[n.d.]. GEMOC Initiative. Retrieved from http:\/\/gemoc.org\/."},{"key":"e_1_3_3_149_2","unstructured":"[n.d.]. MDE Testing. Retrieved from https:\/\/github.com\/jdelara\/MDETesting."},{"key":"e_1_3_3_150_2","unstructured":"[n.d.]. MRs4MTgenerator. Retrieved from https:\/\/gestionproyectos.us.es\/projects\/curso-ice-2016-rest-fp-coordinacioo\/wiki."},{"key":"e_1_3_3_151_2","unstructured":"[n.d.]. PaMoMo. Retrieved from http:\/\/miso.es\/tools\/transML\/main.htm."},{"key":"e_1_3_3_152_2","unstructured":"[n.d.]. PRAMANA. Retrieved from https:\/\/www.irisa.fr\/triskell\/Software\/pramana\/index.html."},{"key":"e_1_3_3_153_2","unstructured":"[n.d.]. RandomEMF. Retrieved from http:\/\/github.com\/markus1978\/RandomEMF."},{"key":"e_1_3_3_154_2","unstructured":"[n.d.]. SBFL_MT. Retrieved from https:\/\/github.com\/javitroya\/SBFL_MT."},{"key":"e_1_3_3_155_2","unstructured":"[n.d.]. SymexTRON. Retrieved from https:\/\/github.com\/models-team\/SymexTRON."},{"key":"e_1_3_3_156_2","unstructured":"[n.d.]. TracsTool. Retrieved from http:\/\/atenea.lcc.uma.es\/projects\/FaultLocMT.html."},{"key":"e_1_3_3_157_2","unstructured":"[n.d.]. Unnamed tool. Retrieved from http:\/\/atenea.lcc.uma.es\/index.php\/Main_Page\/Resources\/Mutations."},{"key":"e_1_3_3_158_2","unstructured":"[n.d.]. Unnamed tool. Retrieved from https:\/\/github.com\/SOM-Research\/constraint-mutation."},{"key":"e_1_3_3_159_2","unstructured":"[n.d.]. Unnamed tool. Retrieved from https:\/\/bitbucket.org\/ustbmde\/model-generation\/wiki\/Home."},{"key":"e_1_3_3_160_2","unstructured":"[n.d.]. USE. Retrieved from https:\/\/sourceforge.net\/projects\/useocl\/."},{"key":"e_1_3_3_161_2","unstructured":"[n.d.]. VIATRA Generator. Retrieved from https:\/\/github.com\/viatra\/VIATRA-Generator."},{"key":"e_1_3_3_162_2","unstructured":"[n.d.]. WODEL. Retrieved from http:\/\/gomezabajo.github.io\/Wodel\/."},{"key":"e_1_3_3_163_2","doi-asserted-by":"publisher","DOI":"10.5220\/0005378501770187"},{"key":"e_1_3_3_164_2","first-page":"40","volume-title":"Proceedings of the ME","author":"Addazi L.","year":"2016","unstructured":"L. Addazi, A. Cicchetti, J. D. Rocco, D. D. Ruscio, L. Iovino, and A. Pierantonio. 2016. Semantic-based model matching with EMFCompare. In Proceedings of the ME. 40\u201349."},{"key":"e_1_3_3_165_2","first-page":"1:1\u201343","article-title":"Formal verification techniques for model transformations: A tridimensional classification","author":"Amrani M.","year":"2015","unstructured":"M. Amrani, B. Combemale, L. L\u00facio, G. Selim, J. Dingel, Y. Le Traon, H. Vangheluwe, and J. R. Cordy. 2015. Formal verification techniques for model transformations: A tridimensional classification. J. Obj. Technol. (2015), 1:1\u201343.","journal-title":"J. Obj. Technol."},{"key":"e_1_3_3_166_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"e_1_3_3_167_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_3_168_2","first-page":"1","volume-title":"Proceedings of the IMDT","author":"Baudry B.","year":"2006","unstructured":"B. Baudry, T. Dinh-Trong, J.-M. Mottu, D. Simmonds, R. France, S. Ghosh, F. Fleurey, and Y. Le Traon. 2006. Model transformation testing challenges. In Proceedings of the IMDT. 1\u201310."},{"key":"e_1_3_3_169_2","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743583"},{"key":"e_1_3_3_170_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_3_171_2","first-page":"160","article-title":"Code generation approach for mobile application using acceleo","author":"Benouda H.","year":"2016","unstructured":"H. Benouda, M. Azizi, R. Esbai, and M. Moussaoui. 2016. Code generation approach for mobile application using acceleo. Int. Rev. Comput. Softw. (2016), 160\u2013166.","journal-title":"Int. Rev. Comput. Softw."},{"key":"e_1_3_3_172_2","first-page":"120","volume-title":"Proceedings of the MODELS Satellite Events","author":"B\u00e9zivin J.","year":"2005","unstructured":"J. B\u00e9zivin, B. Rumpe, A. Sch\u00fcrr, and L. Tratt. 2005. Model transformations in practice workshop. In Proceedings of the MODELS Satellite Events. 120\u2013127."},{"key":"e_1_3_3_173_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_29"},{"key":"e_1_3_3_174_2","first-page":"41","volume-title":"Proceedings of the EM","author":"Bousse E.","year":"2016","unstructured":"E. Bousse, M. Wimmer, W. Schwinger, and E. Kapsammer. 2016. On leveraging executable language engineering for domain-specific transformation languages. In Proceedings of the EM. 41\u201343."},{"key":"e_1_3_3_175_2","doi-asserted-by":"publisher","DOI":"10.5555\/3103551"},{"key":"e_1_3_3_176_2","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859032"},{"issue":"7","key":"e_1_3_3_177_2","first-page":"1","article-title":"The future of model transformation languages: An open community discussion","author":"Burgue\u00f1o L.","year":"2019","unstructured":"L. Burgue\u00f1o, J. Cabot, and S. G\u00e9rard. 2019. The future of model transformation languages: An open community discussion. J. Obj. Technol.7 (2019), 1\u201311.","journal-title":"J. Obj. Technol."},{"key":"e_1_3_3_178_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_16"},{"key":"e_1_3_3_179_2","first-page":"120","volume-title":"Proceedings of the MODELS Satellite Events","author":"B\u00e9zivin J.","year":"2005","unstructured":"J. B\u00e9zivin, B. Rumpe, A. Sch\u00fcrr, and L. Tratt. 2005. Model transformations in practice workshop. In Proceedings of the MODELS Satellite Events. 120\u2013127."},{"key":"e_1_3_3_180_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.03.023"},{"key":"e_1_3_3_181_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30982-3_3"},{"key":"e_1_3_3_182_2","first-page":"42","article-title":"An analysis of metamodeling practices for MOF and OCL","author":"Cadavid J. J.","year":"2015","unstructured":"J. J. Cadavid, B. Combemale, and B. Baudry. 2015. An analysis of metamodeling practices for MOF and OCL. Comput. Lang., Syst. Struct. (2015), 42\u201365.","journal-title":"Comput. Lang., Syst. Struct."},{"key":"e_1_3_3_183_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.02.002"},{"issue":"1","key":"e_1_3_3_184_2","first-page":"4:1\u20134:36","article-title":"A survey of compiler testing","volume":"53","author":"Chen J.","year":"2020","unstructured":"J. Chen, J. Patra, M. Pradel, Y. Xiong, H. Zhang, D. Hao, and L. Zhang. 2020. A survey of compiler testing. ACM Comput. Surv. 53, 1 (2020), 4:1\u20134:36.","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"e_1_3_3_185_2","first-page":"4:1\u20134:27","article-title":"Metamorphic testing: A review of challenges and opportunities","volume":"51","author":"Chen T. Y.","year":"2018","unstructured":"T. Y. Chen, F. Kuo, H. Liu, P. Poon, D. Towey, T. H. Tse, and Z. Q. Zhou. 2018. Metamorphic testing: A review of challenges and opportunities. Comput. Surv. 51, 1 (2018), 4:1\u20134:27.","journal-title":"Comput. Surv."},{"key":"e_1_3_3_186_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19440-5_11"},{"key":"e_1_3_3_187_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0675-4"},{"key":"e_1_3_3_188_2","doi-asserted-by":"publisher","DOI":"10.5555\/1808998"},{"key":"e_1_3_3_189_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1115027"},{"key":"e_1_3_3_190_2","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"e_1_3_3_191_2","first-page":"139","article-title":"Model-driven engineering: A survey supported by the unified conceptual model","author":"Silva A. R. da","year":"2015","unstructured":"A. R. da Silva. 2015. Model-driven engineering: A survey supported by the unified conceptual model. Comput. Lang., Syst. Struct. (2015), 139\u2013155.","journal-title":"Comput. Lang., Syst. Struct."},{"key":"e_1_3_3_192_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45923-5_12"},{"key":"e_1_3_3_193_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_3_194_2","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_3_195_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_5"},{"key":"e_1_3_3_196_2","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools","author":"Ehrig H.","year":"1999","unstructured":"H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg (Eds.). 1999. Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools."},{"key":"e_1_3_3_197_2","first-page":"1","volume-title":"Proceedings of the NasBASE","author":"Fleck M.","year":"2015","unstructured":"M. Fleck, J. Troya, and M. Wimmer. 2015. Marrying search-based optimization and model transformation technology. In Proceedings of the NasBASE. 1\u201316."},{"key":"e_1_3_3_198_2","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1804"},{"key":"e_1_3_3_199_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00262-6_4"},{"key":"e_1_3_3_200_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.07.001"},{"key":"e_1_3_3_201_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.09.006"},{"key":"e_1_3_3_202_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"e_1_3_3_203_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.03.003"},{"key":"e_1_3_3_204_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0121-8"},{"key":"e_1_3_3_205_2","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410950"},{"key":"e_1_3_3_206_2","doi-asserted-by":"publisher","DOI":"10.1145\/3417990.3422000"},{"key":"e_1_3_3_207_2","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2010.25"},{"key":"e_1_3_3_208_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-43916-3"},{"key":"e_1_3_3_209_2","first-page":"88","volume-title":"Proceedings of the C3S2E","author":"Hettab A.","year":"2015","unstructured":"A. Hettab, E. Kerkouche, and A. Chaoui. 2015. A graph transformation approach for automatic test cases generation from UML activity diagrams. In Proceedings of the C3S2E. 88\u201397."},{"key":"e_1_3_3_210_2","doi-asserted-by":"publisher","DOI":"10.1109\/GEFS.2008.4484566"},{"key":"e_1_3_3_211_2","volume-title":"ISO\/IEC\/IEEE International Standard - Software and systems engineering\u2013Software testing\u2013Part 1: Concepts and Definitions","year":"2015","unstructured":"ISO 29119-4 2015. ISO\/IEC\/IEEE International Standard - Software and systems engineering\u2013Software testing\u2013Part 1: Concepts and Definitions. Standard."},{"key":"e_1_3_3_212_2","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2013.6588537."},{"key":"e_1_3_3_213_2","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_3_214_2","doi-asserted-by":"publisher","DOI":"10.1109\/AST.2007.2"},{"key":"e_1_3_3_215_2","first-page":"201","volume-title":"Proceedings of the GTTSE","author":"J\u00e9z\u00e9quel J.","year":"2011","unstructured":"J. J\u00e9z\u00e9quel, O. Barais, and F. Fleurey. 2011. Model driven language engineering with Kermeta. In Proceedings of the GTTSE. 201\u2013221."},{"key":"e_1_3_3_216_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_3_217_2","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176691"},{"key":"e_1_3_3_218_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0665-6"},{"key":"e_1_3_3_219_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.12.001"},{"issue":"3","key":"e_1_3_3_220_2","first-page":"6:1\u201315","article-title":"Adapting TDL to provide testing support for executable DSLs","volume":"20","author":"Khorram F.","year":"2021","unstructured":"F. Khorram, E. Bousse, J. Mottu, and G. Suny\u00e9. 2021. Adapting TDL to provide testing support for executable DSLs. J. Obj. Technol. 20, 3 (2021), 6:1\u201315.","journal-title":"J. Obj. Technol."},{"key":"e_1_3_3_221_2","volume-title":"Procedures for Performing Systematic Reviews.","author":"Kitchenham B.","year":"2004","unstructured":"B. Kitchenham. 2004. Procedures for Performing Systematic Reviews.Joint Technical Report, Keele University TR\/SE-0401 and NICTA 0400011T.1."},{"key":"e_1_3_3_222_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-48480-6_12"},{"key":"e_1_3_3_223_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0017-9"},{"key":"e_1_3_3_224_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.03.001"},{"key":"e_1_3_3_225_2","volume-title":"Proceedings of the OOPSLA Workshops","author":"Lawley M.","year":"2004","unstructured":"M. Lawley, K. Duddy, A. Gerber, and K. Raymond. 2004. Language features for re-use and maintainability of MDA transformations. In Proceedings of the OOPSLA Workshops."},{"key":"e_1_3_3_226_2","first-page":"1","article-title":"Model transformation intents and their properties","author":"L\u00facio L.","year":"2014","unstructured":"L. L\u00facio, M. Amrani, J. Dingel, L. Lambers, R. Salay, G. Selim, E. Syriani, and M. Wimmer. 2014. Model transformation intents and their properties. Softw. Syst. Model. (2014), 1\u201335.","journal-title":"Softw. Syst. Model."},{"key":"e_1_3_3_227_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-003-0020-3"},{"key":"e_1_3_3_228_2","volume-title":"A Multi-paradigm Modelling Approach to the Foundations of Domain-specific Modelling","author":"Mannadiar R.","year":"2012","unstructured":"R. Mannadiar. 2012. A Multi-paradigm Modelling Approach to the Foundations of Domain-specific Modelling. Ph.D. Dissertation. MgGill University."},{"key":"e_1_3_3_229_2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"e_1_3_3_230_2","volume-title":"MDA Distilled: Principles of Model-driven Architecture","author":"Mellor S. J.","year":"2004","unstructured":"S. J. Mellor, K. Scott, A. Uhl, D. Weise, and R. M. Soley. 2004. MDA Distilled: Principles of Model-driven Architecture."},{"key":"e_1_3_3_231_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"e_1_3_3_232_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0548-7"},{"issue":"5","key":"e_1_3_3_233_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1022494.1022529","article-title":"Generating test cases for web services using data perturbation","volume":"29","author":"Offutt J.","year":"2004","unstructured":"J. Offutt and W. Xu. 2004. Generating test cases for web services using data perturbation. SIGSOFT Softw. Eng. Notes 29, 5 (2004), 1\u201310.","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"e_1_3_3_234_2","doi-asserted-by":"publisher","DOI":"10.1007\/11581741_18"},{"key":"e_1_3_3_235_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.24"},{"key":"e_1_3_3_236_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0358-0"},{"key":"e_1_3_3_237_2","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2009.5295300"},{"key":"e_1_3_3_238_2","doi-asserted-by":"publisher","DOI":"10.1109\/MISE.2012.6226015"},{"key":"e_1_3_3_239_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69100-6_1"},{"key":"e_1_3_3_240_2","doi-asserted-by":"publisher","DOI":"10.1145\/2675067"},{"key":"e_1_3_3_241_2","article-title":"Efficient execution of ATL model transformations using static analysis and parallelism","author":"Cuadrado J. Sanchez","year":"2020","unstructured":"J. Sanchez Cuadrado, L. Burgueno, M. Wimmer, and A. Vallecillo. 2020. Efficient execution of ATL model transformations using static analysis and parallelism. IEEE Trans. Softw. Eng. (2020).","journal-title":"IEEE Trans. Softw. Eng."},{"key":"e_1_3_3_242_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59071-4_45"},{"key":"e_1_3_3_243_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"e_1_3_3_244_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2018.2875968"},{"key":"e_1_3_3_245_2","doi-asserted-by":"publisher","DOI":"10.1145\/2432497.2432502"},{"key":"e_1_3_3_246_2","first-page":"26","volume-title":"Proceedings of the AMT","author":"Selim G. M. K.","year":"2015","unstructured":"G. M. K. Selim, J. R. Cordy, J. Dingel, L. Lucio, and B. J. Oakes. 2015. Finding and fixing bugs in model transformations with formal verification: An experience report. In Proceedings of the AMT. 26\u201335."},{"key":"e_1_3_3_247_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"key":"e_1_3_3_248_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm043"},{"key":"e_1_3_3_249_2","first-page":"408","volume-title":"Proceedings of the GTTSE","author":"Stevens P.","year":"2007","unstructured":"P. Stevens. 2007. A landscape of bidirectional model transformations. In Proceedings of the GTTSE. 408\u2013424."},{"key":"e_1_3_3_250_2","first-page":"446","volume-title":"Proceedings of the AGTIVE","author":"Taentzer G.","year":"2003","unstructured":"G. Taentzer. 2003. AGG: A graph transformation environment for modeling and validation of software. In Proceedings of the AGTIVE. 446\u2013453."},{"key":"e_1_3_3_251_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_3"},{"key":"e_1_3_3_252_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_40"},{"key":"e_1_3_3_253_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"e_1_3_3_254_2","first-page":"1","article-title":"Uncertainty representation in software models: A survey","author":"Troya J.","year":"2021","unstructured":"J. Troya, N. Moreno, M. F. Bertoa, and A. Vallecillo. 2021. Uncertainty representation in software models: A survey. Softw. Syst. Model. (2021), 1\u201331.","journal-title":"Softw. Syst. Model."},{"key":"e_1_3_3_255_2","unstructured":"J. Troya S. Segura L. Burgue\u00f1o and M. Wimmer. 2021. Model transformation testing and debugging: A survey. Retrieved from http:\/\/atenea.lcc.uma.es\/projects\/MTTestingDebuggingSurvey.html."},{"key":"e_1_3_3_256_2","first-page":"5:1\u201329","article-title":"A rewriting logic semantics for ATL","author":"Troya J.","year":"2011","unstructured":"J. Troya and A. Vallecillo. 2011. A rewriting logic semantics for ATL. J. Obj. Technol. (2011), 5:1\u201329.","journal-title":"J. Obj. Technol."},{"key":"e_1_3_3_257_2","first-page":"63","volume-title":"Proceedings of the CSDUML","author":"Varr\u00f3 D.","year":"2003","unstructured":"D. Varr\u00f3 and A. Pataricza. 2003. Automated formal verification of model transformations. In Proceedings of the CSDUML. 63\u201378."},{"issue":"2","key":"e_1_3_3_258_2","article-title":"Analyzing the past to prepare for the future: Writing a literature review","volume":"26","author":"Webster J.","year":"2002","unstructured":"J. Webster and R. T. Watson. 2002. Analyzing the past to prepare for the future: Writing a literature review. MIS Quart. 26, 2 (2002).","journal-title":"MIS Quart."},{"key":"e_1_3_3_259_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"e_1_3_3_260_2","doi-asserted-by":"publisher","DOI":"10.1145\/2601248.2601268"},{"key":"e_1_3_3_261_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"e_1_3_3_262_2","doi-asserted-by":"publisher","DOI":"10.1002\/stv.430"},{"key":"e_1_3_3_263_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2014.06.055"},{"key":"e_1_3_3_264_2","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3523056","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3523056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:17Z","timestamp":1750188617000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3523056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,21]]},"references-count":263,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,4,30]]}},"alternative-id":["10.1145\/3523056"],"URL":"https:\/\/doi.org\/10.1145\/3523056","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,11,21]]},"assertion":[{"value":"2021-05-31","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-02-28","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-11-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}