{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:55:25Z","timestamp":1773773725265,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T00:00:00Z","timestamp":1634428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Spanish Ministry of Science","award":["RTI2018-095255-B-I00"],"award-info":[{"award-number":["RTI2018-095255-B-I00"]}]},{"name":"Madrid-UCM young doctors' program","award":["PR65\/19-22452"],"award-info":[{"award-number":["PR65\/19-22452"]}]},{"name":"Madrid region","award":["P2018\/TCS-4314"],"award-info":[{"award-number":["P2018\/TCS-4314"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,17]]},"DOI":"10.1145\/3486608.3486904","type":"proceedings-article","created":{"date-parts":[[2021,11,22]],"date-time":"2021-11-22T23:13:53Z","timestamp":1637622833000},"page":"49-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["New ideas: automated engineering of metamorphic testing environments for domain-specific languages"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2084-1558","authenticated-orcid":false,"given":"Pablo C.","family":"Ca\u00f1izares","sequence":"first","affiliation":[{"name":"Autonomous University of Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"G\u00f3mez-Abajo","sequence":"additional","affiliation":[{"name":"Autonomous University of Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[{"name":"Complutense University of Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[{"name":"Autonomous University of Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[{"name":"Autonomous University of Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,11,22]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"crossref","unstructured":"M. Boussaa O. Barais G. Suny\u00e9 and B. Baudry. 2020. Leveraging metamorphic testing to automatically detect inconsistencies in code generator families. Softw. Test. Verification Reliab. 30 1 (2020). M. Boussaa O. Barais G. Suny\u00e9 and B. Baudry. 2020. Leveraging metamorphic testing to automatically detect inconsistencies in code generator families. Softw. Test. Verification Reliab. 30 1 (2020).","DOI":"10.1002\/stvr.1721"},{"key":"e_1_3_2_2_2_1","volume-title":"Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering. ACM, 84\u201389","author":"Bousse E."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.11.025"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"crossref","unstructured":"M. Brambilla J. Cabot and M. Wimmer. 2017. Model-Driven Software Engineering in Practice Second Edition. Morgan & Claypool Publishers. M. Brambilla J. Cabot and M. Wimmer. 2017. Model-Driven Software Engineering in Practice Second Edition. Morgan & Claypool Publishers.","DOI":"10.1007\/978-3-031-02549-5"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","unstructured":"C.-ai Sun G. Wang B. Mu H. Liu Z.S. Wang and T. Y. Chen. 2011. Metamorphic testing for web services: Framework and a case study. In ICWS. IEEE 283\u2013290. C.-ai Sun G. Wang B. Mu H. Liu Z.S. Wang and T. Y. Chen. 2011. Metamorphic testing for web services: Framework and a case study. In ICWS. IEEE 283\u2013290.","DOI":"10.1109\/ICWS.2011.65"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJHPCN.2016.074663"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.995"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110522"},{"key":"e_1_3_2_2_9_1","unstructured":"T. Y. Chen S. C. Cheung and S. M. Yiu. 1998. Metamorphic testing: a new approach for generating next test cases. HKUST-CS98-01. T. Y. Chen S. C. Cheung and S. M. Yiu. 1998. Metamorphic testing: a new approach for generating next test cases. HKUST-CS98-01."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"crossref","unstructured":"T. Y. Chen F.-C. Kuo H. Liu P.-L. Poon D. Towey T. H. Tse and Z. Q. Zhou. 2018. Metamorphic testing: A review of challenges and opportunities. ACM Comput. Surv. 51 1 (2018) 4:1\u20134:27. T. Y. Chen F.-C. Kuo H. Liu P.-L. Poon D. Towey T. H. Tse and Z. Q. Zhou. 2018. Metamorphic testing: A review of challenges and opportunities. ACM Comput. Surv. 51 1 (2018) 4:1\u20134:27.","DOI":"10.1145\/3143561"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"crossref","unstructured":"B. Combemale R. France J.-M. J\u00e9z\u00e9quel B. Rumpe J. Steel and D. Vojtisek. 2017. Engineering modeling languages. Turning domain knowledge into tools. Chapman and Hall\/CRC. B. Combemale R. France J.-M. J\u00e9z\u00e9quel B. Rumpe J. Steel and D. Vojtisek. 2017. Engineering modeling languages. Turning domain knowledge into tools. Chapman and Hall\/CRC.","DOI":"10.1201\/b21841"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"crossref","unstructured":"K. Du M. Jiang Z. Ding H. Huang and T. Shu. 2019. Metamorphic testing in fault localization of model transformations. In SOFL+MSVL. Springer 299\u2013314. K. Du M. Jiang Z. Ding H. Huang and T. Shu. 2019. Metamorphic testing in fault localization of model transformations. In SOFL+MSVL. Springer 299\u2013314.","DOI":"10.1007\/978-3-030-41418-4_20"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00827-0"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"crossref","unstructured":"A. Gotlieb and B. Botella. 2003. Automated metamorphic testing. In COMPAC. IEEE 34\u201340. A. Gotlieb and B. Botella. 2003. Automated metamorphic testing. In COMPAC. IEEE 34\u201340.","DOI":"10.1109\/CMPSAC.2003.1245319"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.15388\/ioi.2015.07"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/903627"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.07.010"},{"key":"e_1_3_2_2_18_1","volume-title":"Software Abstractions - Logic, Language, and Analysis","author":"Jackson D."},{"key":"e_1_3_2_2_19_1","unstructured":"M. Jiang T. Y. Chen F.-C. Kuo Z. Zhou and Z. Ding. 2014. Testing model transformation programs using metamorphic testing. In SEKE. Knowledge Systems Institute Graduate School 94\u201399. M. Jiang T. Y. Chen F.-C. Kuo Z. Zhou and Z. Ding. 2014. Testing model transformation programs using metamorphic testing. In SEKE. Knowledge Systems Institute Graduate School 94\u201399."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"crossref","unstructured":"L. C. L. Kats R. Vermaas and E. Visser. 2011. Integrated language definition testing: enabling test-driven language development. In OOPSLA. ACM 139\u2013154. L. C. L. Kats R. Vermaas and E. Visser. 2011. Integrated language definition testing: enabling test-driven language development. In OOPSLA. ACM 139\u2013154.","DOI":"10.1145\/2076021.2048080"},{"key":"e_1_3_2_2_21_1","volume-title":"Domain-Specific Modeling - Enabling Full Code Generation","author":"Kelly S."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2021.20.3.a6"},{"key":"e_1_3_2_2_23_1","volume-title":"MoDELS (LNCS","volume":"431","author":"Kuhlmann M."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"crossref","unstructured":"V. Le M. Afshari and Z. Su. 2014. Compiler validation via equivalence modulo inputs. In PLDI. ACM 216\u2013226. V. Le M. Afshari and Z. Su. 2014. Compiler validation via equivalence modulo inputs. In PLDI. ACM 216\u2013226.","DOI":"10.1145\/2666356.2594334"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2018.2880577"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-018-9423-9"},{"key":"e_1_3_2_2_27_1","volume-title":"MoDELS Workshops (CEUR Workshop Proceedings","volume":"546","author":"Mierlo S. Van"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2020.3011512"},{"key":"e_1_3_2_2_29_1","unstructured":"Object Management Group. 2014. UML 2.4 OCL Specification. http:\/\/www.omg.org\/spec\/OCL\/. Object Management Group. 2014. UML 2.4 OCL Specification. http:\/\/www.omg.org\/spec\/OCL\/."},{"key":"e_1_3_2_2_30_1","unstructured":"Object Management Group. 2017. UML 2.5.1 Specification. https:\/\/www.omg.org\/spec\/UML\/About-UML\/. Object Management Group. 2017. UML 2.5.1 Specification. https:\/\/www.omg.org\/spec\/UML\/About-UML\/."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-017-9390-6"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2764464"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2018.2875968"},{"key":"e_1_3_2_2_35_1","volume-title":"EMF: Eclipse Modeling Framework, 2^nd Edition","author":"Steinberg D.","year":"2008"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.05.043"},{"key":"e_1_3_2_2_37_1","unstructured":"M. Voelter. 2013. DSL Engineering - Designing Implementing and Using Domain-Specific Languages. dslbook.org. isbn:978-1-4812-1858-0 http:\/\/www.dslbook.org M. Voelter. 2013. DSL Engineering - Designing Implementing and Using Domain-Specific Languages. dslbook.org. isbn:978-1-4812-1858-0 http:\/\/www.dslbook.org"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/1394966.1394970"},{"key":"e_1_3_2_2_40_1","volume-title":"DSL (LNCS","volume":"147","author":"Wu H."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.11.920"},{"key":"e_1_3_2_2_42_1","volume-title":"http:\/\/www.eclipse.org\/Xtext\/ (last accessed","year":"2021"},{"key":"e_1_3_2_2_43_1","volume-title":"Deeproad: Gan-based metamorphic testing and input validation framework for autonomous driving systems. In ASE. ACM, 132\u2013142.","author":"Zhang M.","year":"2018"}],"event":{"name":"SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering","location":"Chicago IL USA","acronym":"SLE '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486608.3486904","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3486608.3486904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:39Z","timestamp":1750193319000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486608.3486904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":43,"alternative-id":["10.1145\/3486608.3486904","10.1145\/3486608"],"URL":"https:\/\/doi.org\/10.1145\/3486608.3486904","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-11-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}