{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:55:30Z","timestamp":1773773730287,"version":"3.50.1"},"reference-count":96,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,10,17]],"date-time":"2020-10-17T00:00:00Z","timestamp":1602892800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,10,17]],"date-time":"2020-10-17T00:00:00Z","timestamp":1602892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100012818","name":"Comunidad de Madrid","doi-asserted-by":"publisher","award":["S2018\/TCS-4314"],"award-info":[{"award-number":["S2018\/TCS-4314"]}],"id":[{"id":"10.13039\/100012818","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["RTI2018-093608-B-C31"],"award-info":[{"award-number":["RTI2018-093608-B-C31"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["RTI2018-095255-B-I00"],"award-info":[{"award-number":["RTI2018-095255-B-I00"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["TIN2015-65845-C3-1-R"],"award-info":[{"award-number":["TIN2015-65845-C3-1-R"]}],"id":[{"id":"10.13039\/501100004837","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":[[2021,6]]},"DOI":"10.1007\/s10270-020-00827-0","type":"journal-article","created":{"date-parts":[[2020,10,17]],"date-time":"2020-10-17T07:03:16Z","timestamp":1602918196000},"page":"767-793","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Wodel-Test: a model-based framework for language-independent mutation testing"],"prefix":"10.1007","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8319-4829","authenticated-orcid":false,"given":"Pablo","family":"G\u00f3mez-Abajo","sequence":"first","affiliation":[]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[]},{"given":"Juan de","family":"Lara","sequence":"additional","affiliation":[]},{"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,10,17]]},"reference":[{"key":"827_CR1","unstructured":"Architecture driven modernization. https:\/\/www.omg.org\/adm\/. Accessed Oct. (2019)"},{"key":"827_CR2","unstructured":"Agrawal, H., DeMillo, R.A., Hathaway, B., Hsu, W., Hsu, W., Krauser, E., Martin, R., Mathur, A.P., Spafford, E.: Design of mutant operators for the C programming language. Technical report, Purdue University (1989)"},{"issue":"8","key":"827_CR3","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1002\/stvr.1522","volume":"25","author":"BK Aichernig","year":"2015","unstructured":"Aichernig, B.K., Brandl, H., J\u00f6bstl, E., Krenn, W., Schlick, R., Tiran, S.: Killing strategies for model-based mutation testing. Softw. Test. Verif. Reliab. 25(8), 716\u2013748 (2015)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"827_CR4","unstructured":"Alhwikem, F., Paige, R.F., Rose, L., Alexander, R.: A systematic approach for designing mutation operators for MDE languages. In: Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa), pp. 54\u201359 (2016)"},{"issue":"1","key":"827_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/MS.2012.22","volume":"30","author":"IM Alsmadi","year":"2013","unstructured":"Alsmadi, I.M.: Using mutation to enhance GUI testing coverage. IEEE Softw. 30(1), 67\u201373 (2013)","journal-title":"IEEE Softw."},{"key":"827_CR6","doi-asserted-by":"crossref","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: International Conference on Software Engineering (ICSE). ACM, pp. 402\u2013411 (2005)","DOI":"10.1145\/1062455.1062530"},{"issue":"5\u20137","key":"827_CR7","first-page":"653","volume":"25","author":"V Aranega","year":"2014","unstructured":"Aranega, V., Mottu, J.-M., Etien, A., Degueule, T., Baudry, B., Dekeyser, J.-L.: Towards an automation of the mutation analysis dedicated to model transformation. Softw. Test. Verif. Reliab. 25(5\u20137), 653\u2013683 (2014)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"827_CR8","doi-asserted-by":"crossref","unstructured":"Ariel\u00a0Gonz\u00e1lez, G.B., Carlos, L.: Mutation testing for Java based on model-driven development. In: Simposio Latinoamericano de Ingenier\u00eda de Software (CLEI-SLISW) (in Spanish) (2018)","DOI":"10.1109\/CLEI.2018.00011"},{"key":"827_CR9","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.infsof.2018.04.011","volume":"100","author":"B Aziz","year":"2018","unstructured":"Aziz, B.: Towards a mutation analysis of IoT protocols. Inf. Softw. Technol. 100, 183\u2013184 (2018)","journal-title":"Inf. Softw. Technol."},{"issue":"6","key":"827_CR10","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1109\/TSE.2012.56","volume":"39","author":"R Baker","year":"2013","unstructured":"Baker, R., Habli, I.: An empirical evaluation of mutation testing for improving the test quality of safety-critical software. IEEE Trans. Softw. Eng. 39(6), 787\u2013805 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"827_CR11","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.B., Traon, Y.L., Mottu, J.: Barriers to systematic model transformation testing. Commun. ACM 53(6), 139\u2013143 (2010)","journal-title":"Commun. ACM"},{"key":"827_CR12","doi-asserted-by":"crossref","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J.: Mutation operators for concurrent Java (J2SE 5.0). In: Workshop on Mutation Analysis (Mutation), pp. 83\u201392 (2006)","DOI":"10.1109\/MUTATION.2006.10"},{"key":"827_CR13","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice, Second Edition. Synthesis Lectures on Software Engineering. Morgan & Claypool Publishers (2017)","DOI":"10.2200\/S00751ED2V01Y201701SWE004"},{"issue":"2","key":"827_CR14","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/s10270-019-00762-9","volume":"19","author":"J Bruel","year":"2020","unstructured":"Bruel, J., Combemale, B., Guerra, E., J\u00e9z\u00e9quel, J., Kienzle, J., de Lara, J., Mussbacher, G., Syriani, E., Vangheluwe, H.: Comparing and classifying model transformation reuse approaches across metamodels. Softw. Syst. Model. 19(2), 441\u2013465 (2020)","journal-title":"Softw. Syst. Model."},{"issue":"8","key":"827_CR15","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":"827_CR16","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.jss.2018.05.010","volume":"143","author":"PC Ca\u00f1izares","year":"2018","unstructured":"Ca\u00f1izares, P.C., N\u00fa\u00f1ez, A., Merayo, M.G.: Mutomvo: mutation testing framework for simulated cloud and HPC environments. J. Syst. Softw. 143, 187\u2013207 (2018)","journal-title":"J. Syst. Softw."},{"key":"827_CR17","doi-asserted-by":"crossref","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). ACM, pp. 449\u2013452 (2016).http:\/\/pitest.org\/, https:\/\/github.com\/hcoles\/pitest","DOI":"10.1145\/2931037.2948707"},{"key":"827_CR18","unstructured":"Delamaro, M.E., Maldonado.: Proteum\u2014a tool for the assessment of test adequacy for C programs. In: Conference on Performability in Computing Systems, pp. 79\u201395 (1996)"},{"key":"827_CR19","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.infsof.2016.07.002","volume":"81","author":"P Delgado-P\u00e9rez","year":"2017","unstructured":"Delgado-P\u00e9rez, P., Medina-Bulo, I., Palomo-Lozano, F., Garc\u00eda-Dom\u00ednguez, A., Dom\u00ednguez-Jim\u00e9nez, J.J.: Assessment of class mutation operators for C++ with the MuCPP mutation system. Inf. Softw. Technol. 81, 169\u2013184 (2017)","journal-title":"Inf. Softw. Technol."},{"key":"827_CR20","unstructured":"DeMillo, R.A., Guindi, D.S., McCracken, W.M., Offutt, A.J., King, K.N.: An extended overview of the Mothra software testing environment. In: Workshop on Software Testing, Verification, and Analysis, pp. 142\u2013151 (1988)"},{"issue":"4","key":"827_CR21","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."},{"key":"827_CR22","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.infsof.2016.04.012","volume":"81","author":"L Deng","year":"2017","unstructured":"Deng, L., Offutt, A.J., Ammann, P., Mirzaei, N.: Mutation operators for testing android apps. Inf. Softw. Technol. 81, 154\u2013168 (2017)","journal-title":"Inf. Softw. Technol."},{"key":"827_CR23","doi-asserted-by":"crossref","unstructured":"Denisov, A., Pankevich, S.: Mull it over: mutation testing based on LLVM. In: IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 25\u201331 (2018)","DOI":"10.1109\/ICSTW.2018.00024"},{"key":"827_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jss.2018.03.010","volume":"141","author":"X Devroey","year":"2018","unstructured":"Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P., Heymans, P.: Model-based mutant equivalence detection using automata language equivalence and simulations. J. Syst. Softw. 141, 1\u201315 (2018)","journal-title":"J. Syst. Softw."},{"key":"827_CR25","unstructured":"Estero-Botaro, A., Palomo-Lozano, F., Medina-Bulo, I.: Mutation operators for WS-BPEL 2.0. In: International Conference on Software & Systems Engineering and their Applications (ICSSEA) (2008)"},{"key":"827_CR26","unstructured":"Fabbri, S.C.P.F., Delamaro, M.E., Maldonado, J.C., Masiero, P.C..: Mutation analysis testing for finite state machines. In: International Symposium on Software Reliability Engineering (ISSRE), pp. 220\u2013229 (1994)"},{"key":"827_CR27","doi-asserted-by":"crossref","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C.,P.C., Masiero, M.E,. Delamaro, Wong, W.E.: Mutation testing applied to validate specifications based on Petri nets. In: International Conference on Formal Description Techniques, volume\u00a043 of IFIP Conference Proceedings. Chapman & Hall, pp. 329\u2013337 (1995)","DOI":"10.1007\/978-0-387-34945-9_24"},{"key":"827_CR28","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Sugeta, T., Masiero, P.C.: Mutation testing applied to validate specifications based on statecharts. In: International Symposium on Software Reliability Engineering (ISSRE), p. 210 (1999)"},{"key":"827_CR29","unstructured":"Ferenc, R., Beszedes, A., Tarkiainen, M., Gyimothy, T.: Columbus\u2014reverse engineering tool and schema for C++. In: International Conference on Software Maintenance, pp. 172\u2013181 (2002)"},{"issue":"2","key":"827_CR30","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/TSE.2011.93","volume":"38","author":"G Fraser","year":"2012","unstructured":"Fraser, G., Zeller, A.: Mutation-driven generation of unit tests and oracles. IEEE Trans. Softw. Eng. 38(2), 278\u2013292 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"827_CR31","doi-asserted-by":"crossref","unstructured":"Gligoric, M., Badame, S., Johnson, R.: SMutant: a tool for type-sensitive mutation testing in a dynamic language. In: ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) and European Software Engineering Conference (ESEC), pp. 424\u2013427 (2011)","DOI":"10.1145\/2025113.2025181"},{"key":"827_CR32","unstructured":"GMF. https:\/\/www.eclipse.org\/gmf-tooling\/. Accessed Oct. 2019"},{"key":"827_CR33","first-page":"152","volume":"49","author":"P G\u00f3mez-Abajo","year":"2017","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., de Lara, J.: A domain-specific language for model mutation and its application to the automated generation of exercises. Comput. Lang. Syst. Struct. 49, 152\u2013173 (2017)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"827_CR34","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)","journal-title":"Sci. Comput. Program."},{"key":"827_CR35","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., de\u00a0Lara, J., Merayo, M.G.: Towards a model-driven engineering solution for language independent mutation testing. In: Jornadas de Ingenier\u00eda del Software y Bases de Datos (JISBD), p. 4. Biblioteca digital SISTEDES (2018)"},{"key":"827_CR36","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., de\u00a0Lara, J., Merayo, M.G.: Mutation testing for DSLs (tool demo). In: ACM SIGPLAN International Workshop on Domain-Specific Modeling (DSM). ACM, pp. 60\u201362 (2019)","DOI":"10.1145\/3358501.3361234"},{"key":"827_CR37","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.infsof.2016.05.001","volume":"81","author":"D Gong","year":"2017","unstructured":"Gong, D., Zhang, G., Yao, X., Meng, F.: Mutant reduction based on dominance relation for weak mutation testing. Inf. Softw. Technol. 81, 82\u201396 (2017)","journal-title":"Inf. Softw. Technol."},{"key":"827_CR38","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-Jim\u00e9nez, M., de\u00a0Lara, J.: Datalyzer: streaming data applications made easy. In: International Conference on Web Engineering (ICWE), volume 10845 of LNCS. Springer, pp. 420\u2013429 (2018)","DOI":"10.1007\/978-3-319-91662-0_34"},{"key":"827_CR39","doi-asserted-by":"crossref","unstructured":"Gopinath, R., Alipour, A., Ahmed, I., Jensen, C., Groce, A.: How hard does mutation analysis have to be, anyway? In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 216\u2013227 (2015)","DOI":"10.1109\/ISSRE.2015.7381815"},{"key":"827_CR40","doi-asserted-by":"crossref","unstructured":"Granda, M.F., Condori-Fern\u00e1ndez, N., Vos, T.E.J., Pastor, O.: Mutation operators for UML class diagrams. In: International Conference on Advanced Information Systems Engineering (CAiSE), volume 9694 of LNCS. Springer, pp. 325\u2013341 (2016)","DOI":"10.1007\/978-3-319-39696-5_20"},{"key":"827_CR41","doi-asserted-by":"crossref","unstructured":"Groce, A., Holmes, J., Marinov, D., Shi, A., Zhang, L.: An extensible, regular-expression-based tool for multi-language mutant generation. In: International Conference on Software Engineering (ICSE). ACM, pp. 25\u201328 (2018)","DOI":"10.1145\/3183440.3183485"},{"key":"827_CR42","doi-asserted-by":"crossref","unstructured":"Guerra, E., Cuadrado, J.S., de\u00a0Lara, J.: Towards effective mutation testing for ATL. In: ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, pp. 78\u201388 (2019)","DOI":"10.1109\/MODELS.2019.00-13"},{"issue":"4","key":"827_CR43","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)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"827_CR44","doi-asserted-by":"crossref","unstructured":"Heidenreich, F., Johannes, J., Karol, S., Seifert, M., Wende, C.: Derivation and refinement of textual syntax for models. In: Proceedings of ECMDA-FA, volume 5562 of Lecture Notes in Computer Science. Springer, pp. 114\u2013129 (2009)","DOI":"10.1007\/978-3-642-02674-4_9"},{"key":"827_CR45","unstructured":"Heidenreich, F., Johannes, J., Reimann, J., Seifert, M.., Wende, C., Werner, C., Wilke, C., Assmann, U.: Model-driven modernisation of java programs with jamopp. In: Proceedings of Model-Driven Software Migration, volume 708 CEUR Workshop Proceedings, pp. 1\u20134 (2011)"},{"issue":"11","key":"827_CR46","doi-asserted-by":"publisher","first-page":"1804","DOI":"10.1016\/j.jss.2009.06.030","volume":"82","author":"RM Hierons","year":"2009","unstructured":"Hierons, R.M., Merayo, M.G.: Mutation testing from probabilistic and stochastic finite state machines. J. Syst. Softw. 82(11), 1804\u20131818 (2009)","journal-title":"J. Syst. Softw."},{"key":"827_CR47","doi-asserted-by":"crossref","unstructured":"Jia, Y., Harman, M.: MILU: a customizable, runtime-optimized higher order mutation testing tool for the full C language. In: Testing: Academic Industrial Conference\u2014Practice and Research Techniques (TAICPART), pp. 94\u201398 (2008)","DOI":"10.1109\/TAIC-PART.2008.18"},{"issue":"10","key":"827_CR48","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1016\/j.infsof.2009.04.016","volume":"51","author":"Y Jia","year":"2009","unstructured":"Jia, Y., Harman, M.: Higher order mutation testing. Inf. Softw. Technol. 51(10), 1379\u20131393 (2009)","journal-title":"Inf. Softw. Technol."},{"issue":"5","key":"827_CR49","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."},{"issue":"1\u20132","key":"827_CR50","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":"827_CR51","doi-asserted-by":"crossref","unstructured":"Just, R.: The Major mutation framework: efficient and scalable mutation analysis for Java. In: International Symposium on Software Testing and Analysis (ISSTA). ACM, pp. 433\u2013436 (2014). http:\/\/mutation-testing.org\/","DOI":"10.1145\/2610384.2628053"},{"key":"827_CR52","doi-asserted-by":"publisher","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling-Enabling Full Code Generation","author":"S Kelly","year":"2008","unstructured":"Kelly, S., Tolvanen, J.: Domain-Specific Modeling-Enabling Full Code Generation. Wiley, Hoboken (2008)"},{"key":"827_CR53","doi-asserted-by":"crossref","unstructured":"Khan, Y., Hassine, J.: Mutation operators for the Atlas Transformation Language. In: International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 43\u201352 (2013)","DOI":"10.1109\/ICSTW.2013.13"},{"issue":"3","key":"827_CR54","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/stvr.238","volume":"11","author":"S Kim","year":"2001","unstructured":"Kim, S., Clark, J.A., McDermid, J.A.: Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw. Test. Verif. Reliab. 11(3), 207\u2013225 (2001)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"7","key":"827_CR55","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1002\/spe.4380210704","volume":"21","author":"KN King","year":"1991","unstructured":"King, K.N., Offutt, A.J.: A Fortran language system for mutation-based software testing. Softw. Pract. Exp. 21(7), 685\u2013718 (1991)","journal-title":"Softw. Pract. Exp."},{"issue":"4","key":"827_CR56","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.2017.2684805","volume":"44","author":"M Kintis","year":"2018","unstructured":"Kintis, M., Papadakis, M., Jia, Y., Malevris, N., Traon, Y.L., Harman, M.: Detecting trivial mutant equivalences via compiler optimisations. IEEE Trans. Softw. Eng. 44(4), 308\u2013333 (2018)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"827_CR57","doi-asserted-by":"publisher","first-page":"2426","DOI":"10.1007\/s10664-017-9582-5","volume":"23","author":"M Kintis","year":"2018","unstructured":"Kintis, M., Papadakis, M., Papadopoulos, A., Valvis, E., Malevris, N., Traon, Y.L.: How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults. Empir. Softw. Eng. 23(4), 2426\u20132463 (2018)","journal-title":"Empir. Softw. Eng."},{"key":"827_CR58","doi-asserted-by":"crossref","unstructured":"Krenn, W., Schlick, R., Tiran, S., Aichernig, B., Jobstl, E., Brandl, H.: MoMut: UML model-based mutation testing for UML. In: IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 1\u20138 (2015)","DOI":"10.1109\/ICST.2015.7102627"},{"key":"827_CR59","doi-asserted-by":"crossref","unstructured":"Kusano, M., Wang, C.: CCmutator: mutation generator for concurrency constructs in multithreaded C\/C++ applications. In: IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE Press, pp. 722\u2013725 (2013)","DOI":"10.1109\/ASE.2013.6693142"},{"key":"827_CR60","doi-asserted-by":"crossref","unstructured":"Laurent, T., Papadakis, M., Kintis, M., Henard, C., Traon, Y.L., Ventresque, A.: Assessing and improving the mutation testing practice of PIT. In: International Conference on Software Testing, Verification and Validation (ICST), pp. 430\u2013435 (2017)","DOI":"10.1109\/ICST.2017.47"},{"key":"827_CR61","doi-asserted-by":"crossref","unstructured":"Le, D., Alipour, M.A., Gopinath, R., Groce, A.: Mucheck: an extensible tool for mutation testing of haskell programs. In: International Symposium on Software Testing and Analysis (ISSTA). ACM, pp. 429\u2013432 (2014)","DOI":"10.1145\/2610384.2628052"},{"issue":"1","key":"827_CR62","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"C Le Goues","year":"2012","unstructured":"Le Goues, C., Nguyen, T., Forrest, S., Weimer, W.: Genprog: a generic method for automatic software repair. IEEE Trans. Softw. Eng. 38(1), 54\u201372 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"827_CR63","unstructured":"Lee, S.C., Offutt, A.J.: Generating test cases for XML-based web component interactions using mutation analysis. In: International Symposium on Software Reliability Engineering (ISSRE), pp. 200\u2013209 (2001)"},{"key":"827_CR64","doi-asserted-by":"crossref","unstructured":"L\u00f3pez, S., Alfonzo, G.A., Perez, O., Gonzalez, S., Montes, R.: A metamodel to carry out reverse engineering of C++ code into UML sequence diagrams. In: Electronics, Robotics and Automotive Mechanics Conference (CERMA), vol. 2, pp. 331\u2013336 (2006)","DOI":"10.1109\/CERMA.2006.100"},{"key":"827_CR65","unstructured":"Ma, Y.S., Kwon, Y.R., Offutt, A.J.: Inter-class mutation operators for Java. In: International Symposium on Software Reliability Engineering (ISSRE), pp. 352\u2013366 (2002)"},{"key":"827_CR66","doi-asserted-by":"crossref","unstructured":"Ma, Y.-S., Offutt, J., Kwon, Y.R.: MuJava: a mutation system for Java. In: International Conference on Software Engineering (ICSE), pp. 827\u2013830 (2006)","DOI":"10.1145\/1134285.1134425"},{"issue":"2","key":"827_CR67","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/stvr.308","volume":"15","author":"Y-S Ma","year":"2005","unstructured":"Ma, Y.-S., Offutt, J., Kwon, Y.R.: Mujava: an automated class mutation system. Softw. Test. Verif. Reliab. 15(2), 97\u2013133 (2005)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"827_CR68","doi-asserted-by":"crossref","unstructured":"Mariya, F., Barkhas, D.: A comparative analysis of mutation testing tools for Java. In: IEEE East-West Design Test Symposium (EWDTS), pp. 1\u20133 (2016)","DOI":"10.1109\/EWDTS.2016.7807636"},{"issue":"5","key":"827_CR69","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1109\/TSE.2014.2371458","volume":"41","author":"S Mirshokraie","year":"2015","unstructured":"Mirshokraie, S., Mesbah, A., Pattabiraman, K.: Guided mutation testing for JavaScript web applications. IEEE Trans. Softw. Eng. 41(5), 429\u2013444 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"827_CR70","unstructured":"MOF. http:\/\/www.omg.org\/spec\/MOF (2016)"},{"key":"827_CR71","doi-asserted-by":"crossref","unstructured":"Mottu, J., Baudry, B., Traon, Y.L.: Mutation analysis testing for model transformations. In: European Conference on Model Driven Architecture\u2014Foundations and Applications (ECMDA-FA), pp. 376\u2013390 (2006)","DOI":"10.1007\/11787044_28"},{"key":"827_CR72","doi-asserted-by":"crossref","unstructured":"Mottu, J., Sen, S., Tisi, M., Cabot, J.: Static analysis of model transformations for effective test generation. In: International Symposium on Software Reliability Engineering (ISSRE), pp. 291\u2013300 (2012)","DOI":"10.1109\/ISSRE.2012.7"},{"key":"827_CR73","unstructured":"Object Management Group. UML 2.4 OCL Specification (2014). http:\/\/www.omg.org\/spec\/OCL\/"},{"key":"827_CR74","unstructured":"Object Management Group. UML 2.5.1 Specification (2017). https:\/\/www.omg.org\/spec\/UML\/About-UML\/"},{"issue":"2","key":"827_CR75","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/227607.227610","volume":"5","author":"AJ Offutt","year":"1996","unstructured":"Offutt, A.J., Lee, A., Rothermel, G., Untch, R.H., Zapf, C.: An experimental determination of sufficient mutant operators. ACM Trans. Softw. Eng. Methodol. 5(2), 99\u2013118 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"827_CR76","unstructured":"Offutt, A.J., Voas, J., Payne, J.: Mutation operators for ADA. Technical report, Information and Software Systems Engineering, George Mason University (1996)"},{"key":"827_CR77","doi-asserted-by":"crossref","unstructured":"Papadakis, M., Henard, C., Harman, M., Jia, Y., Le Traon, Y.: Threats to the validity of mutation-based test assessment. In: Proceedings of the 25th International Symposium on Software Testing and Analysis, pp. 354\u2013365 (2016)","DOI":"10.1145\/2931037.2931040"},{"key":"827_CR78","doi-asserted-by":"crossref","unstructured":"Papadakis, M., Kintis, M., Zhang, J., Jia, Y., Traon, Y.L., Harman, M.: Chapter six - mutation testing advances: an analysis and survey, volume 112 of Advances in Computers. Elsevier, pp. 275\u2013378 (2019)","DOI":"10.1016\/bs.adcom.2018.03.015"},{"key":"827_CR79","doi-asserted-by":"crossref","unstructured":"Parsai, A., Murgia, A., Demeyer, S.: LittleDarwin: a feature-rich and extensible mutation testing framework for large and complex Java systems. In: Fundamentals of Software Engineering (FSEN), volume 10522 of LNCS. Springer, pp. 148\u2013163 (2017). http:\/\/littledarwin.parsai.net\/, https:\/\/github.com\/aliparsai\/LittleDarwin","DOI":"10.1007\/978-3-319-68972-2_10"},{"issue":"9","key":"827_CR80","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1109\/TSE.2016.2635137","volume":"43","author":"J S\u00e1nchez Cuadrado","year":"2017","unstructured":"S\u00e1nchez Cuadrado, J., 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."},{"key":"827_CR81","doi-asserted-by":"crossref","unstructured":"Schuler, D., Zeller, A.: Javalanche: efficient mutation testing for Java. In: Joint Meeting of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering. ACM, pp. 297\u2013298 (2009). http:\/\/javalanche.org\/, https:\/\/github.com\/david-schuler\/javalanche","DOI":"10.1145\/1595696.1595750"},{"key":"827_CR82","doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B.: Mutation-based model synthesis in model driven engineering. In: Workshop on Mutation Analysis (Mutation) (2006)","DOI":"10.1109\/MUTATION.2006.12"},{"key":"827_CR83","doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.-M.: Automatic model generation strategies for model transformation testing. In: Theory and Practice of Model Transformations. Springer, Berlin, pp. 148\u2013164 (2009)","DOI":"10.1007\/978-3-642-02408-5_11"},{"issue":"3","key":"827_CR84","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1007\/s10270-014-0428-y","volume":"15","author":"D Shin","year":"2016","unstructured":"Shin, D., Jee, E., Bae, D.: Comprehensive analysis of FBD test coverage criteria using mutants. Softw. Syst. Model. 15(3), 631\u2013645 (2016)","journal-title":"Softw. Syst. Model."},{"key":"827_CR85","unstructured":"Sirius. https:\/\/www.eclipse.org\/sirius\/. Accessed Oct. 2019"},{"key":"827_CR86","unstructured":"Srivatanakul, T., Clark, J.A., Stepney, S., Polack, F.: Challenging formal specifications by mutation: a CSP security example. In: Asia-Pacific Software Engineering Conference (APSEC), pp. 340\u2013350 (2003)"},{"key":"827_CR87","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd Edition. Addison-Wesley Professional (2008)"},{"key":"827_CR88","doi-asserted-by":"crossref","unstructured":"Trakhtenbrot, M.: New mutations for evaluation of specification and implementation levels of adequacy in testing of statecharts models. In: Workshop on Mutation Analysis (Mutation), pp. 151\u2013160 (2007)","DOI":"10.1109\/TAIC.PART.2007.23"},{"key":"827_CR89","doi-asserted-by":"crossref","unstructured":"Troya, J., Bergmayr, A., Burgue\u00f1o, L., Wimmer, M.: Towards systematic mutations for and with ATL model transformations. In: International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 1\u201310 (2015)","DOI":"10.1109\/ICSTW.2015.7107455"},{"key":"827_CR90","doi-asserted-by":"crossref","unstructured":"Tuya, J., Cabal, M.J.S., de la Riva, C.: SQLMutation: a tool to generate mutants of SQL database queries. In: Workshop on Mutation Analysis (Mutation), p. 1 (2006)","DOI":"10.1109\/MUTATION.2006.13"},{"issue":"4","key":"827_CR91","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1016\/j.infsof.2006.06.009","volume":"49","author":"J Tuya","year":"2007","unstructured":"Tuya, J., Cabal, M.J.S., de la Riva, C.: Mutating database queries. Inf. Softw. Technol. 49(4), 398\u2013417 (2007)","journal-title":"Inf. Softw. Technol."},{"key":"827_CR92","unstructured":"Voelter, M.: DSL Engineering\u2014Designing, Implementing and Using Domain-Specific Languages. dslbook.org (2013)"},{"key":"827_CR93","doi-asserted-by":"crossref","unstructured":"Wagelaar, D., Tisi, M., Cabot, J., Jouault, F.: Towards a general composition semantics for rule-based model transformation. In: ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), volume 6981 of LNCS. Springer, pp. 623\u2013637 (2011)","DOI":"10.1007\/978-3-642-24485-8_46"},{"key":"827_CR94","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.infsof.2016.03.002","volume":"81","author":"F Wu","year":"2017","unstructured":"Wu, F., Nanavati, J., Harman, M., Jia, Y., Krinke, J.: Memory mutation testing. Inf. Softw. Technol. 81, 97\u2013111 (2017)","journal-title":"Inf. Softw. Technol."},{"issue":"8","key":"827_CR95","first-page":"119","volume":"24","author":"SA Yazdani","year":"2018","unstructured":"Yazdani, S.A., Amiri, M.J., Parsa, S., Koupaee, M.: Automatic test cases generation from business process models. Requir. Eng. 24(8), 119\u2013132 (2018)","journal-title":"Requir. Eng."},{"key":"827_CR96","doi-asserted-by":"crossref","unstructured":"Zhang, L., Gligoric, M., Marinov, D., Khurshid, S.: Operator-based and random mutant selection: better together. In: Proceedings of ASE. IEEE, pp. 92\u2013102 (2013)","DOI":"10.1109\/ASE.2013.6693070"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00827-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00827-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00827-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,16]],"date-time":"2024-08-16T01:12:24Z","timestamp":1723770744000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00827-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,17]]},"references-count":96,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["827"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00827-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,10,17]]},"assertion":[{"value":"12 December 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 June 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 August 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 October 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}