{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T11:25:29Z","timestamp":1784028329948,"version":"3.55.0"},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T00:00:00Z","timestamp":1748304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T00:00:00Z","timestamp":1748304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100010665","name":"H2020 Marie Sklodowska-Curie Actions","doi-asserted-by":"publisher","award":["813884"],"award-info":[{"award-number":["813884"]}],"id":[{"id":"10.13039\/100010665","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":[[2025,8]]},"DOI":"10.1007\/s10270-025-01283-4","type":"journal-article","created":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T00:16:15Z","timestamp":1748304975000},"page":"1187-1212","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A language-parametric test amplification framework for executable domain-specific languages"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5375-8064","authenticated-orcid":false,"given":"Faezeh","family":"Khorram","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Erwan","family":"Bousse","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Marie","family":"Mottu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gerson","family":"Suny\u00e9","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Djamel Eddine","family":"Khelladi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pablo","family":"G\u00f3mez-Abajo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pablo C.","family":"Ca\u00f1izares","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,5,27]]},"reference":[{"key":"1283_CR1","unstructured":"Object Management Group (OMG): Precise Semantics of UML State Machines. https:\/\/www.omg.org\/spec\/PSSM\/1.0\/About-PSSM\/(2019) Accessed Feb 2024"},{"key":"1283_CR2","unstructured":"(OMG), O.M.G.: Semantics of a Foundational Subset for Executable UML Models. https:\/\/www.omg.org\/spec\/FUML\/(2021) Accessed Feb 2024"},{"key":"1283_CR3","doi-asserted-by":"publisher","unstructured":"Bendraou, R., Combemale, B., Cr\u00e9gut, X., Gervais, M.-P.: Definition of an eXecutable SPEM 2.0. In: 14th Asia-Pacific Software Engineering Conference (APSEC), pp. 390\u2013397. IEEE Computer Society, Nagoya, Japan (2007). https:\/\/doi.org\/10.1109\/ASPEC.2007.60","DOI":"10.1109\/ASPEC.2007.60"},{"key":"1283_CR4","unstructured":"OASIS: Web Services Business Process Execution Language Version 2.0. https:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html(2007) Accessed Feb 2024"},{"key":"1283_CR5","doi-asserted-by":"publisher","unstructured":"Erdweg, S., Storm, T.v.d., Voelter, M., Tratt, L., Bosman, R., Cook, W.R., Gerritsen, A., Hulshout, A., Kelly, S., Loh, A., Konat, G., Molina, P.J., Palatnik, M., Pohjonen, R., Schindler, E., Schindler, K., Solmi, R., Vergu, V., Visser, E., Vlist, K.v.d., Wachsmuth, G., Woning, J.v.d.: Evaluating and comparing language workbenches: existing results and benchmarks for the future. Comput. Lang. Syst. Struct. 44, 24\u201347 (2015). https:\/\/doi.org\/10.1016\/j.cl.2015.08.007","DOI":"10.1016\/j.cl.2015.08.007"},{"key":"1283_CR6","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-21215-9_11","volume-title":"Tests and Proofs","author":"S Mijatov","year":"2015","unstructured":"Mijatov, S., Mayerhofer, T., Langer, P., Kappel, G.: Testing functional requirements in uml activity diagrams. In: Blanchette, J.C., Kosmatov, N. (eds.) Tests and Proofs, pp. 173\u2013190. Springer, Cham (2015)"},{"key":"1283_CR7","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.jss.2015.09.002","volume":"111","author":"T Kos","year":"2016","unstructured":"Kos, T., Mernik, M., Kosar, T.: Test automation of a measurement system using a domain-specific modelling language. J. Syst. Softw. 111, 74\u201388 (2016)","journal-title":"J. Syst. Softw."},{"key":"1283_CR8","doi-asserted-by":"crossref","unstructured":"L\u00fcbke, D., Lessen, T.: BPMN-based model-driven testing of service-based processes. In: Enterprise. Business-Process and Information Systems Modeling, pp. 119\u2013133. Springer, Berlin, Germany (2017)","DOI":"10.1007\/978-3-319-59466-8_8"},{"key":"1283_CR9","doi-asserted-by":"crossref","unstructured":"Iqbal, J., Ashraf, A., Truscan, D., Porres, I.: Exhaustive simulation and test generation using fuml activity diagrams. In: Proceedings of the 31st International Conference on Advanced Information Systems Engineering (CAiSE). Lecture Notes in Computer Science, vol. 11483, pp. 96\u2013110. Springer, Rome, Italy (2019)","DOI":"10.1007\/978-3-030-21290-2_7"},{"key":"1283_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-03034-5_7","volume-title":"Domain-Specific Languages","author":"H Wu","year":"2009","unstructured":"Wu, H., Gray, J., Mernik, M.: Unit testing for domain-specific languages. In: Taha, W.M. (ed.) Domain-Specific Languages, pp. 125\u2013147. Springer, Berlin, Heidelberg (2009)"},{"key":"1283_CR11","doi-asserted-by":"crossref","unstructured":"Meyers, B., Denil, J., D\u00e1vid, I., Vangheluwe, H.: Automated testing support for reactive domain-specific modelling languages. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, pp. 181\u2013194. Association for Computing Machinery, Amsterdam, The Netherlands (2016)","DOI":"10.1145\/2997364.2997367"},{"issue":"3","key":"1283_CR12","doi-asserted-by":"publisher","first-page":"6","DOI":"10.5381\/jot.2021.20.3.a6","volume":"20","author":"F Khorram","year":"2021","unstructured":"Khorram, F., Bousse, E., Mottu, J.-M., Suny\u00e9, G.: Adapting TDL to provide testing support for executable DSLs. J. Object Technol. 20(3), 6\u2013115 (2021)","journal-title":"J. Object Technol."},{"issue":"3","key":"1283_CR13","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/S10270-022-01025-W","volume":"22","author":"F Khorram","year":"2023","unstructured":"Khorram, F., Bousse, E., Mottu, J.-M., Suny\u00e9, G.: Advanced testing and debugging support for reactive executable DSLs. Softw. Syst. Model. 22(3), 819\u2013845 (2023). https:\/\/doi.org\/10.1007\/S10270-022-01025-W","journal-title":"Softw. Syst. Model."},{"key":"1283_CR14","doi-asserted-by":"crossref","unstructured":"Ca\u00f1izares, P.C., G\u00f3mez-Abajo, P., N\u00fa\u00f1ez, A., Guerra, E., Lara, J.: New ideas: automated engineering of metamorphic testing environments for domain-specific languages. In: SLE \u201921: 14th ACM SIGPLAN International Conference on Software Language Engineering, pp. 49\u201354. ACM, Chicago, IL, USA (2021)","DOI":"10.1145\/3486608.3486904"},{"issue":"1","key":"1283_CR15","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/52.819971","volume":"17","author":"JA Whittaker","year":"2000","unstructured":"Whittaker, J.A.: What is software testing? Why is it so hard? practice tutorial. IEEE Softw. 17(1), 70\u201379 (2000). https:\/\/doi.org\/10.1109\/52.819971","journal-title":"IEEE Softw."},{"key":"1283_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.110398","volume":"157","author":"B Danglot","year":"2019","unstructured":"Danglot, B., Vera-Perez, O., Yu, Z., Zaidman, A., Monperrus, M., Baudry, B.: A snowballing literature study on test amplification. J. Syst. Softw. 157, 110398 (2019). https:\/\/doi.org\/10.1016\/j.jss.2019.110398","journal-title":"J. Syst. Softw."},{"key":"1283_CR17","doi-asserted-by":"publisher","unstructured":"Xie, T.: Augmenting automatically generated unit-test suites with regression oracle checking. In: Thomas, D. (ed.) Proceedings ECOOP 2006 - Object-Oriented Programming, 20th European Conference. Lecture Notes in Computer Science, vol. 4067, pp. 380\u2013403. Springer, Nantes, France (2006). https:\/\/doi.org\/10.1007\/11785477_23","DOI":"10.1007\/11785477_23"},{"issue":"4","key":"1283_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10664-019-09692-y","volume":"24","author":"B Danglot","year":"2019","unstructured":"Danglot, B., Vera-P\u00e9rez, O.L., Baudry, B., Monperrus, M.: Automatic test improvement with DSpot: a study with ten mature open-source projects. Empir. Softw. Eng. 24(4), 1\u201335 (2019). https:\/\/doi.org\/10.1007\/s10664-019-09692-y","journal-title":"Empir. Softw. Eng."},{"key":"1283_CR19","unstructured":"Abdi, M., Rocha, H., Demeyer, S.: Test amplification in the pharo smalltalk ecosystem. In: Proceedings IWST 2019 International Workshop on Smalltalk Technologies. ESUG (2019)"},{"key":"1283_CR20","unstructured":"Schoofs, E., Abdi, M., Demeyer, S.: Ampyfier: Test amplification in python. CoRR abs\/2112.11155 (2021) arXiv: 2112.11155"},{"key":"1283_CR21","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-319-74730-9_18","volume-title":"Software Technologies: Applications and Foundations","author":"T Mayerhofer","year":"2018","unstructured":"Mayerhofer, T., Combemale, B.: The tool generation challenge for executable domain-specific modeling languages. In: Seidl, M., Zschaler, S. (eds.) Software Technologies: Applications and Foundations, pp. 193\u2013199. Springer, Cham (2018)"},{"issue":"2","key":"1283_CR22","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1007\/s11219-018-9423-9","volume":"27","author":"P Makedonski","year":"2019","unstructured":"Makedonski, P., Adamis, G., K\u00e4\u00e4rik, M., Kristoffersen, F., Carignani, M., Ulrich, A., Grabowski, J.: Test descriptions with ETSI TDL. Softw. Qual. J. 27(2), 885\u2013917 (2019)","journal-title":"Softw. Qual. J."},{"key":"1283_CR23","doi-asserted-by":"publisher","unstructured":"Coles, H., Laurent, T., Henard, C., Papadakis, M., Ventresque, A.: PIT: A practical mutation testing tool for Java (demo). In: International Symposium on Software Testing and Analysis (ISSTA), pp. 449\u2013452. ACM, Saarbr\u00fccken, Germany (2016). https:\/\/doi.org\/10.1145\/2931037.2948707 . See also https:\/\/pitest.org\/quickstart\/mutators, https:\/\/github.com\/hcoles\/pitest","DOI":"10.1145\/2931037.2948707"},{"key":"1283_CR24","doi-asserted-by":"publisher","unstructured":"Khorram, F., Bousse, E., Garmendia, A., Mottu, J.-M., Suny\u00e9, G., Wimmer, M.: From coverage computation to fault localization: A generic framework for domain-specific languages. In: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering. SLE 2022, pp. 235\u2013248. Association for Computing Machinery, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3567512.3567532","DOI":"10.1145\/3567512.3567532"},{"issue":"4","key":"1283_CR25","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. IEEE Comput. 11(4), 34\u201341 (1978)","journal-title":"IEEE Comput."},{"issue":"4","key":"1283_CR26","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TSE.1977.231145","volume":"3","author":"RG Hamlet","year":"1977","unstructured":"Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng. 3(4), 279\u2013290 (1977). https:\/\/doi.org\/10.1109\/TSE.1977.231145","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1283_CR27","doi-asserted-by":"crossref","unstructured":"Bousse, E., Degueule, T., Vojtisek, D., Mayerhofer, T., Deantoni, J., Combemale, B.: Execution framework of the gemoc studio (tool demo). In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, pp. 84\u201389 (2016)","DOI":"10.1145\/2997364.2997384"},{"key":"1283_CR28","doi-asserted-by":"crossref","unstructured":"Khorram, F., Bousse, E., Mottu, J., Suny\u00e9, G., G\u00f3mez-Abajo, P., Ca\u00f1izares, P.C., Guerra, E., Lara, J.: Automatic test amplification for executable models. In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS, pp. 109\u2013120. ACM, Montreal, Canada (2022)","DOI":"10.1145\/3550355.3552451"},{"issue":"4","key":"1283_CR29","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1007\/s10270-020-00798-2","volume":"19","author":"D Leroy","year":"2020","unstructured":"Leroy, D., Bousse, E., Wimmer, M., Mayerhofer, T., Combemale, B., Schwinger, W.: Behavioral interfaces for executable dsls. Softw. Syst. Model. 19(4), 1015\u20131043 (2020)","journal-title":"Softw. Syst. Model."},{"key":"1283_CR30","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, London, UK (2008)"},{"key":"1283_CR31","doi-asserted-by":"publisher","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing, 2$$^{nd}$$ Edition. Cambridge University Press, Cambridge, UK (2016). https:\/\/doi.org\/10.1017\/CBO9780511809163","DOI":"10.1017\/CBO9780511809163"},{"issue":"8","key":"1283_CR32","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1109\/TSE.2006.83","volume":"32","author":"JH Andrews","year":"2006","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y., Namin, A.S.: Using mutation analysis for assessing and comparing testing coverage criteria. IEEE Trans. Softw. Eng. 32(8), 608\u2013624 (2006). https:\/\/doi.org\/10.1109\/TSE.2006.83","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"1283_CR33","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1007\/s10270-020-00827-0","volume":"20","author":"P G\u00f3mez-Abajo","year":"2021","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., Lara, J., Merayo, M.G.: Wodel-test: a model-based framework for language-independent mutation testing. Softw. Syst. Model. 20(3), 767\u2013793 (2021). https:\/\/doi.org\/10.1007\/s10270-020-00827-0","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"1283_CR34","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1002\/1099-1689(200009)10:3<171::AID-STVR209>3.0.CO;2-J","volume":"10","author":"MJ Harrold","year":"2000","unstructured":"Harrold, M.J., Rothermel, G., Sayre, K., Wu, R., Yi, L.: An empirical investigation of the relationship between spectra differences and regression faults. Softw. Test. Verification Reliab. 10(3), 171\u2013194 (2000)","journal-title":"Softw. Test. Verification Reliab."},{"key":"1283_CR35","doi-asserted-by":"publisher","unstructured":"Mariani, L.: A fault taxonomy for component-based software. In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003. Electronic Notes in Theoretical Computer Science, vol. 82, pp. 55\u201365. Elsevier, Warsaw, Poland (2003). https:\/\/doi.org\/10.1016\/S1571-0661(04)81025-9","DOI":"10.1016\/S1571-0661(04)81025-9"},{"issue":"11","key":"1283_CR36","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1109\/TSE.2006.113","volume":"32","author":"J Dur\u00e3es","year":"2006","unstructured":"Dur\u00e3es, J., Madeira, H.: Emulation of software faults: a field data study and a practical approach. IEEE Trans. Soft. Eng. 32(11), 849\u2013867 (2006). https:\/\/doi.org\/10.1109\/TSE.2006.113","journal-title":"IEEE Trans. Soft. Eng."},{"key":"1283_CR37","doi-asserted-by":"publisher","unstructured":"Darabos, A., Pataricza, A., Varr\u00f3, D.: Towards testing the implementation of graph transformations. In: Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006. Electronic Notes in Theoretical Computer Science, vol. 211, pp. 75\u201385. Elsevier, Vienna, Austria (2006). https:\/\/doi.org\/10.1016\/J.ENTCS.2008.04.031","DOI":"10.1016\/J.ENTCS.2008.04.031"},{"key":"1283_CR38","doi-asserted-by":"publisher","unstructured":"Bartel, A., Baudry, B., Mu\u00f1oz, F., Klein, J., Mouelhi, T., Le\u00a0Traon, Y.: Model driven mutation applied to adaptative systems testing. In: Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Workshop Proceedings, pp. 408\u2013413. IEEE Computer Society, Berlin, Germany (2011). https:\/\/doi.org\/10.1109\/ICSTW.2011.24","DOI":"10.1109\/ICSTW.2011.24"},{"key":"1283_CR39","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.scico.2018.01.008","volume":"163","author":"P G\u00f3mez-Abajo","year":"2018","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., de Lara, J., Merayo, M.G.: A tool for domain-independent model mutation. Sci. Comput. Program. 163, 85\u201392 (2018). https:\/\/doi.org\/10.1016\/j.scico.2018.01.008","journal-title":"Sci. Comput. Program."},{"key":"1283_CR40","unstructured":"Xtext https:\/\/www.eclipse.org\/Xtext\/ (2023) Accessed Feb 2024"},{"key":"1283_CR41","doi-asserted-by":"publisher","unstructured":"Khorram, F., G\u00f3mez-Abajo, P.: A Language-Parametric Test Amplification Framework for xDSLs: Artefacts. https:\/\/doi.org\/10.5281\/zenodo.7931246","DOI":"10.5281\/zenodo.7931246"},{"key":"1283_CR42","doi-asserted-by":"crossref","unstructured":"Pinto Ferraz\u00a0Fabbri, S.C., Delamaro, M.E., Maldonado, J.C., Masiero, P.C.: Mutation analysis testing for finite state machines. In: Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering, pp. 220\u2013229 (1994)","DOI":"10.1109\/ISSRE.1994.341378"},{"key":"1283_CR43","doi-asserted-by":"crossref","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Delamaro, M.E.: Proteum\/fsm: a tool to support finite state machine validation based on mutation testing. In: Proceedings. SCCC\u201999 XIX International Conference of the Chilean Computer Science Society, pp. 96\u2013104 (1999)","DOI":"10.1109\/SCCC.1999.810159"},{"key":"1283_CR44","doi-asserted-by":"crossref","unstructured":"Li, J.-h., Dai, G.-x., Li, H.-h.: Mutation analysis for testing finite state machines. In: 2009 Second International Symposium on Electronic Commerce and Security, pp. 620\u2013624 (2009)","DOI":"10.1109\/ISECS.2009.158"},{"key":"1283_CR45","doi-asserted-by":"crossref","unstructured":"Siavashi, F., Truscan, D., Vain, J.: Vulnerability assessment of web services with model-based mutation testing. In: 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), pp. 301\u2013312 (2018)","DOI":"10.1109\/QRS.2018.00043"},{"key":"1283_CR46","doi-asserted-by":"crossref","unstructured":"Jeanneret, C., Glinz, M., Baudry, B.: Estimating footprints of model operations. In: 2011 33rd International Conference on Software Engineering (ICSE), pp. 601\u2013610 (2011). IEEE","DOI":"10.1145\/1985793.1985875"},{"issue":"3","key":"1283_CR47","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10664-008-9083-7","volume":"14","author":"BH Smith","year":"2009","unstructured":"Smith, B.H., Williams, L.: On guiding the augmentation of an automated test suite via mutation analysis. Empir. Softw. Eng. 14(3), 341\u2013369 (2009)","journal-title":"Empir. Softw. Eng."},{"issue":"3","key":"1283_CR48","doi-asserted-by":"publisher","first-page":"3","DOI":"10.5381\/jot.2020.19.3.a5","volume":"19","author":"P G\u00f3mez-Abajo","year":"2020","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., Lara, J., Merayo, M.G.: Systematic engineering of mutation operators. J. Object Technol. 19(3), 3\u2013116 (2020). https:\/\/doi.org\/10.5381\/jot.2020.19.3.a5","journal-title":"J. Object Technol."},{"key":"1283_CR49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, Berlin, Germany (2012)"},{"issue":"5","key":"1283_CR50","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1093\/comjnl\/bxm043","volume":"52","author":"L Shan","year":"2009","unstructured":"Shan, L., Zhu, H.: Generating structurally complex test cases by data mutation: a case study of testing an automated modelling tool. Comput. J. 52(5), 571\u2013588 (2009). https:\/\/doi.org\/10.1093\/comjnl\/bxm043","journal-title":"Comput. J."},{"key":"1283_CR51","doi-asserted-by":"publisher","unstructured":"Sun, C.-a., Liu, Y., Wang, Z., Chan, W.K.: $$\\mu $$mt: A data mutation directed metamorphic relation acquisition methodology. In: Proceedings of the 1st International Workshop on Metamorphic Testing. MET \u201916, pp. 12\u201318. Association for Computing Machinery, New York, NY, USA (2016). https:\/\/doi.org\/10.1145\/2896971.2896974","DOI":"10.1145\/2896971.2896974"},{"key":"1283_CR52","doi-asserted-by":"publisher","unstructured":"Xuan, J., Xie, X., Monperrus, M.: Crash reproduction via test case mutation: Let existing test cases help. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. ESEC\/FSE 2015, pp. 910\u2013913. Association for Computing Machinery, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2786805.2803206","DOI":"10.1145\/2786805.2803206"},{"key":"1283_CR53","doi-asserted-by":"publisher","unstructured":"Zhu, H.: Jfuzz: A tool for automated java unit testing based on data mutation and metamorphic testing methods. In: 2015 Second International Conference on Trustworthy Systems and Their Applications, pp. 8\u201315 (2015). https:\/\/doi.org\/10.1109\/TSA.2015.13","DOI":"10.1109\/TSA.2015.13"},{"key":"1283_CR54","unstructured":"Zeller, A., Gopinath, R., B\u00f6hme, M., Fraser, G., Holler, C.: The Fuzzing Book. https:\/\/www.fuzzingbook.org\/, CISPA Helmholtz Center for Information Security (2021). Retrieved 2021-10-26 15:30:20+02:00. https:\/\/www.fuzzingbook.org\/ Accessed 26 Oct 2021 15:30:20+02:00"},{"key":"1283_CR55","doi-asserted-by":"publisher","unstructured":"Tonella, P.: Evolutionary testing of classes. In: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA \u201904, pp. 119\u2013128. Association for Computing Machinery, New York, NY, USA (2004). https:\/\/doi.org\/10.1145\/1007512.1007528","DOI":"10.1145\/1007512.1007528"},{"key":"1283_CR56","doi-asserted-by":"publisher","unstructured":"Assis, T.B., Menegassi, A.A., Endo, A.T.: Amplifying tests for cross-platform apps through test patterns. In: Perkusich, A. (ed.) The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE, pp. 55\u201374. KSI Research Inc. and Knowledge Systems Institute Graduate School, Lisbon, Portugal (2019). https:\/\/doi.org\/10.18293\/SEKE2019-076","DOI":"10.18293\/SEKE2019-076"},{"key":"1283_CR57","doi-asserted-by":"crossref","unstructured":"Allala, S.C., Sotomayor, J.P., Santiago, D., King, T.M., Clarke, P.J.: Towards transforming user requirements to test cases using MDE and NLP. In: 43rd IEEE Annual Computer Software and Applications Conference (COMPSAC), pp. 350\u2013355. IEEE, Milwaukee, Wisconsin, USA (2019)","DOI":"10.1109\/COMPSAC.2019.10231"},{"key":"1283_CR58","doi-asserted-by":"crossref","unstructured":"Kriebel, S., Markthaler, M., Salman, K.S., Greifenberg, T., Hillemacher, S., Rumpe, B., Schulze, C., Wortmann, A., Orth, P., Richenhagen, J.: Improving model-based testing in automotive software engineering. In: Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), pp. 172\u2013180. ACM, Gothenburg, Sweden (2018)","DOI":"10.1145\/3183519.3183533"},{"key":"1283_CR59","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.jss.2015.08.001","volume":"109","author":"JJG Rodriguez","year":"2015","unstructured":"Rodriguez, J.J.G., Cuaresma, M.J.E., Risoto, M.M.: A model-driven approach for functional test case generation. J. Syst. Softw. 109, 214\u2013228 (2015). https:\/\/doi.org\/10.1016\/j.jss.2015.08.001","journal-title":"J. Syst. Softw."},{"key":"1283_CR60","doi-asserted-by":"crossref","unstructured":"Vieira, M., Leduc, J., Hasling, W.M., Subramanyan, R., Kazmeier, J.: Automation of GUI testing using a model-driven approach. In: Proceedings of the 2006 International Workshop on Automation of Software Test (AST), pp. 9\u201314. ACM, Austin, TX, USA (2006)","DOI":"10.1145\/1138929.1138932"},{"key":"1283_CR61","doi-asserted-by":"crossref","unstructured":"Fr\u00f6hlich, P., Link, J.: Automated test case generation from dynamic models. In: Bertino, E. (ed.) Proceedings of the 14th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol. 1850, pp. 472\u2013492. Springer, Sophia Antipolis, France (2000)","DOI":"10.1007\/3-540-45102-1_23"},{"key":"1283_CR62","doi-asserted-by":"crossref","unstructured":"Ahmadi, R., Hili, N., Dingel, J.: Property-aware unit testing of UML-RT models in the context of MDE. In: Proceedings of the 14th European Conference on Modelling Foundations and Applications (ECMFA). Lecture Notes in Computer Science, vol. 10890, pp. 147\u2013163. Springer, Toulouse, France (2018)","DOI":"10.1007\/978-3-319-92997-2_10"},{"issue":"3","key":"1283_CR63","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/s11219-020-09531-0","volume":"29","author":"M Rocha","year":"2021","unstructured":"Rocha, M., Sim\u00e3o, A., Sousa, T.: Model-based test case generation from UML sequence diagrams using extended finite state machines. Softw. Qual. J. 29(3), 597\u2013627 (2021). https:\/\/doi.org\/10.1007\/s11219-020-09531-0","journal-title":"Softw. Qual. J."},{"key":"1283_CR64","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.cosrev.2019.07.001","volume":"33","author":"T Ahmad","year":"2019","unstructured":"Ahmad, T., Iqbal, J., Ashraf, A., Truscan, D., Porres, I.: Model-based testing using UML activity diagrams: a systematic mapping study. Comput. Sci. Rev. 33, 98\u2013112 (2019). https:\/\/doi.org\/10.1016\/j.cosrev.2019.07.001","journal-title":"Comput. Sci. Rev."},{"issue":"1","key":"1283_CR65","doi-asserted-by":"publisher","first-page":"108","DOI":"10.3844\/jcssp.2018.108.121","volume":"14","author":"AA Giron","year":"2018","unstructured":"Giron, A.A., Souza Gimenes, I.M., OliveiraJr, E.: Evaluation of test case generation based on a software product line for model transformation. J. Comput. Sci. 14(1), 108\u2013121 (2018). https:\/\/doi.org\/10.3844\/jcssp.2018.108.121","journal-title":"J. Comput. Sci."},{"issue":"2","key":"1283_CR66","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). https:\/\/doi.org\/10.1007\/s10270-013-0369-x","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"1283_CR67","first-page":"65","volume":"15","author":"I Al-Azzoni","year":"2021","unstructured":"Al-Azzoni, I., Iqbal, S.: A framework for the regression testing of model-to-model transformations. e-Inform. Softw. Eng. J. 15(1), 65\u201384 (2021)","journal-title":"e-Inform. Softw. Eng. J."},{"key":"1283_CR68","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1016\/j.jss.2017.05.043","volume":"136","author":"J Troya","year":"2018","unstructured":"Troya, J., Segura, S., Cort\u00e9s, A.R.: Automated inference of likely metamorphic relations for model transformations. J. Syst. Softw. 136, 188\u2013208 (2018). https:\/\/doi.org\/10.1016\/j.jss.2017.05.043","journal-title":"J. Syst. Softw."},{"issue":"2","key":"1283_CR69","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1007\/s10270-017-0644-3","volume":"18","author":"R Bill","year":"2019","unstructured":"Bill, R., Fleck, M., Troya, J., Mayerhofer, T., Wimmer, M.: A local and global tour on momot. Softw. Syst. Model. 18(2), 1017\u20131046 (2019). https:\/\/doi.org\/10.1007\/s10270-017-0644-3","journal-title":"Softw. Syst. Model."},{"key":"1283_CR70","doi-asserted-by":"publisher","unstructured":"Harten, N., Damasceno, C.D.N., Str\u00fcber, D.: Model-driven optimization: Generating smart mutation operators for multi-objective problems. In: 48th Euromicro Conference on Software Engineering and Advanced Applications, SEAA, pp. 390\u2013397. IEEE, Gran Canaria, Spain (2022). https:\/\/doi.org\/10.1109\/SEAA56994.2022.00068","DOI":"10.1109\/SEAA56994.2022.00068"},{"issue":"6","key":"1283_CR71","doi-asserted-by":"publisher","first-page":"1857","DOI":"10.1007\/S10270-021-00914-W","volume":"20","author":"A Burdusel","year":"2021","unstructured":"Burdusel, A., Zschaler, S., John, S.: Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering. Softw. Syst. Model. 20(6), 1857\u20131887 (2021). https:\/\/doi.org\/10.1007\/S10270-021-00914-W","journal-title":"Softw. Syst. Model."},{"key":"1283_CR72","doi-asserted-by":"publisher","unstructured":"Abdeen, H., Varr\u00f3, D., Sahraoui, H.A., Nagy, A.S., Debreceni, C., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1.: Multi-objective optimization in rule-based design space exploration. In: ACM\/IEEE International Conference on Automated Software Engineering, ASE, pp. 289\u2013300. ACM, New York, NY, USA (2014). https:\/\/doi.org\/10.1145\/2642937.2643005","DOI":"10.1145\/2642937.2643005"},{"key":"1283_CR73","doi-asserted-by":"publisher","unstructured":"Str\u00fcber, D., Born, K., Gill, K.D., Groner, R., Kehrer, T., Ohrndorf, M., Tichy, M.: Henshin: A usability-focused framework for EMF model transformation development. In: Graph Transformation - 10th International Conference, ICGT. Lecture Notes in Computer Science, vol. 10373, pp. 196\u2013208. Springer, Marburg, Germany (2017). https:\/\/doi.org\/10.1007\/978-3-319-61470-0","DOI":"10.1007\/978-3-319-61470-0"},{"key":"1283_CR74","doi-asserted-by":"publisher","DOI":"10.1016\/J.INFSOF.2023.107164","volume":"157","author":"P G\u00f3mez-Abajo","year":"2023","unstructured":"G\u00f3mez-Abajo, P., Ca\u00f1izares, P.C., N\u00fa\u00f1ez, A., Guerra, E., Lara, J.: Automated engineering of domain-specific metamorphic testing environments. Inf. Softw. Technol. 157, 107164 (2023). https:\/\/doi.org\/10.1016\/J.INFSOF.2023.107164","journal-title":"Inf. Softw. Technol."},{"key":"1283_CR75","doi-asserted-by":"publisher","unstructured":"Semer\u00e1th, O., Varr\u00f3, D.: Iterative generation of diverse models for testing specifications of DSL tools. In: Fundamental Approaches to Software Engineering, 21st International Conference, FASE. Lecture Notes in Computer Science, vol. 10802, pp. 227\u2013245. Springer, Thessaloniki, Greece (2018). https:\/\/doi.org\/10.1007\/978-3-319-89363-1_13","DOI":"10.1007\/978-3-319-89363-1_13"},{"issue":"1","key":"1283_CR76","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10009-019-00530-6","volume":"22","author":"O Semer\u00e1th","year":"2020","unstructured":"Semer\u00e1th, O., Farkas, R., Bergmann, G., Varr\u00f3, D.: Diversity of graph models and graph generators in mutation testing. Int. J. Softw. Tools Technol. Transf. 22(1), 57\u201378 (2020)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1283_CR77","unstructured":"Alhwikem, F., Paige, R.F., Rose, L., Alexander, R.: A systematic approach for designing mutation operators for MDE languages. In: Proceedings of the 13th Workshop on Model-Driven Engineering, Verification Nd Validation Co-located with ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems MODELS. CEUR Workshop Proceedings, vol. 1713, pp. 54\u201359. CEUR-WS.org, Saint Malo, France (2016). https:\/\/ceur-ws.org\/Vol-1713"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-025-01283-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-025-01283-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-025-01283-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T15:45:50Z","timestamp":1757173550000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-025-01283-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,27]]},"references-count":77,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,8]]}},"alternative-id":["1283"],"URL":"https:\/\/doi.org\/10.1007\/s10270-025-01283-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5,27]]},"assertion":[{"value":"12 May 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 October 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 March 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}