{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T00:32:37Z","timestamp":1769733157539,"version":"3.49.0"},"reference-count":83,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2023,9,29]],"date-time":"2023-09-29T00:00:00Z","timestamp":1695945600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,9,29]],"date-time":"2023-09-29T00:00:00Z","timestamp":1695945600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["PID2021-125527NB- I00"],"award-info":[{"award-number":["PID2021-125527NB- 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":["TED2021-130523B-I00"],"award-info":[{"award-number":["TED2021-130523B-I00"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P 30525-N31"],"award-info":[{"award-number":["P 30525-N31"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010132","name":"\u00d6sterreichische Nationalstiftung f\u00fcr Forschung, Technologie und Entwicklung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100010132","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012416","name":"Bundesministerium f\u00fcr Digitalisierung und Wirtschaftsstandort","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012416","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":[[2024,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The verification of model transformations is important for realizing robust model-driven engineering technologies and quality-assured automation. Many approaches for checking properties of model transformations have been proposed. Most of them have focused on the effective and efficient detection of property violations by contract checking. However, there remains the <jats:italic>fault localization<\/jats:italic> step between identifying a failing contract for a transformation based on verification feedback and precisely identifying the faulty rules. While there exist fault localization approaches in the model transformation verification literature, these require the creation and maintenance of <jats:italic>test cases<\/jats:italic>, which imposes an additional burden on the developer. In this paper, we combine transformation verification based on <jats:italic>symbolic execution<\/jats:italic> with spectrum-based fault localization techniques for identifying the faulty rules in DSLTrans model transformations. This fault localization approach operates on the <jats:italic>path condition<\/jats:italic> output of symbolic transformation checkers instead of requiring a set of test input models. In particular, we introduce a workflow for running the symbolic execution of a model transformation, evaluating the defined contracts for satisfaction, and computing different measures for tracking the faulty rules. We evaluate the effectiveness of spectrum-based analysis techniques for tracking faulty rules and compare our approach to previous works. We evaluate our technique by introducing known mutations into five model transformations. Our results show that the best spectrum-based analysis techniques allow for effective fault localization, showing an average EXAM score below 0.30 (less than 30% of the transformation needs to be inspected). These techniques are also able to locate the faulty rule in the top-three ranked rules in 70% of all cases. The impact of the model transformation, the type of mutation and the type of contract on the results is discussed. Finally, we also investigate the cases where the technique does not work properly, including discussion of a potential pre-check to estimate the prospects of the technique for a certain transformation.<\/jats:p>","DOI":"10.1007\/s10270-023-01123-3","type":"journal-article","created":{"date-parts":[[2023,9,29]],"date-time":"2023-09-29T05:02:01Z","timestamp":1695963721000},"page":"737-763","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7558-1434","authenticated-orcid":false,"given":"Bentley James","family":"Oakes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Troya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jessie","family":"Galasso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,29]]},"reference":[{"key":"1123_CR1","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the Accuracy of Spectrum-based Fault Localization. In: Proceedings of the TAICPART-MUTATION, pp. 89\u201398 (2007)","DOI":"10.1109\/TAICPART.2007.4344104"},{"key":"1123_CR2","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., Gemund, A.J.C.V.: Spectrum-based multiple fault localization. In: Proceedings of the ASE, pp. 88\u201399. IEEE Computer Society (2009)","DOI":"10.1109\/ASE.2009.25"},{"issue":"11","key":"1123_CR3","doi-asserted-by":"publisher","first-page":"1780","DOI":"10.1016\/j.jss.2009.06.035","volume":"82","author":"R Abreu","year":"2009","unstructured":"Abreu, R., Zoeteweij, P., Golsteijn, R., van Gemund, A.J.: A practical evaluation of spectrum-based fault localization. J. Syst. Softw. 82(11), 1780\u20131792 (2009). https:\/\/doi.org\/10.1016\/j.jss.2009.06.035","journal-title":"J. Syst. Softw."},{"issue":"3","key":"1123_CR4","doi-asserted-by":"publisher","first-page":"1:1","DOI":"10.5381\/jot.2015.14.3.a1","volume":"14","author":"M Amrani","year":"2015","unstructured":"Amrani, M., Combemale, B., Lucio, L., Selim, G.M.K., Dingel, J., Traon, Y.L., Vangheluwe, H., Cordy, J.R.: Formal verification techniques for model transformations: a tridimensional classification. J. Object Technol. 14(3), 1:1-43 (2015)","journal-title":"J. Object Technol."},{"key":"1123_CR5","unstructured":"Aranega, V., Mottu, J., Etien, A., Dekeyser, J.: Traceability mechanism for error localization in model transformation. In: Proceedings of the ICSOFT, pp. 66\u201373 (2009)"},{"key":"1123_CR6","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1002\/stvr.1532","volume":"25","author":"V Aranega","year":"2015","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, 653\u2013683 (2015)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"1","key":"1123_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s11219-016-9312-z","volume":"25","author":"FY Assiri","year":"2017","unstructured":"Assiri, F.Y., Bieman, J.M.: Fault localization for automated program repair: effectiveness, performance, repair correctness. Softw. Quality J. 25(1), 171\u2013199 (2017)","journal-title":"Softw. Quality J."},{"key":"1123_CR8","unstructured":"ATL: ATL Zoo. http:\/\/www.eclipse.org\/atl\/atlTransformations (2006)"},{"key":"1123_CR9","doi-asserted-by":"crossref","unstructured":"Barroca, B., L\u00facio, L., Amaral, V., F\u00e9lix, R., Sousa, V.: DSLTrans: A turing incomplete transformation language. In: Proceedings of the SLE, pp. 296\u2013305 (2011)","DOI":"10.1007\/978-3-642-19440-5_19"},{"key":"1123_CR10","doi-asserted-by":"publisher","unstructured":"Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Le\u00a0Traon, Y.: Model transformation testing challenges. In: Proceedings of the ECMDA Workshop on Integration of Model Driven Development and Model Driven Testing, pp. 432\u2013448 (2006). https:\/\/doi.org\/10.1007\/978-3-642-33666-9_28","DOI":"10.1007\/978-3-642-33666-9_28"},{"issue":"6","key":"1123_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., Le Traon, Y., Mottu, J.M.: Barriers to systematic model transformation testing. Commun. ACM 53(6), 139\u2013143 (2010)","journal-title":"Commun. ACM"},{"key":"1123_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-02549-5","volume-title":"Model-Driven Software Engineering in Practice","author":"M Brambilla","year":"2017","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice, 2nd edn. Morgan & Claypool, San Rafael (2017)","edition":"2"},{"issue":"5","key":"1123_CR13","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1109\/TSE.2014.2375201","volume":"41","author":"L Burgueno","year":"2015","unstructured":"Burgueno, L., Troya, J., Wimmer, M., Vallecillo, A.: Static fault localization in model transformations. IEEE Trans. Softw. Eng. 41(5), 490\u2013506 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1123_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2013.02.002","volume":"292","author":"D Calegari","year":"2013","unstructured":"Calegari, D., Szasz, N.: Verification of model transformations: a survey of the state-of-the-art. Electron. Notes Theor. Comput. Sci. 292, 5\u201325 (2013)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"1123_CR15","doi-asserted-by":"crossref","unstructured":"Cheng, Z., Tisi, M.: A deductive approach for fault localization in ATL model transformations. In: Proceedings of the FASE, pp. 300\u2013317 (2017)","DOI":"10.1007\/978-3-662-54494-5_17"},{"key":"1123_CR16","doi-asserted-by":"crossref","unstructured":"Cheng, Z., Tisi, M.: Incremental deductive verification for relational model transformations. In: Proceedings of the ICST, pp. 379\u2013389. IEEE (2017)","DOI":"10.1109\/ICST.2017.41"},{"issue":"6","key":"1123_CR17","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/s10009-018-0491-8","volume":"20","author":"Z Cheng","year":"2018","unstructured":"Cheng, Z., Tisi, M.: Slicing ATL model transformations for scalable deductive verification and fault localization. Int. J. Soft. Tools Tech. Transf. 20(6), 645\u2013663 (2018)","journal-title":"Int. J. Soft. Tools Tech. Transf."},{"key":"1123_CR18","doi-asserted-by":"crossref","unstructured":"Claris\u00f3, R., Cabot, J.: Fixing defects in integrity constraints via constraint mutation. In: Proceedings of the QUATIC, pp. 74\u201382 (2018)","DOI":"10.1109\/QUATIC.2018.00020"},{"issue":"9","key":"1123_CR19","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1109\/TSE.2016.2635137","volume":"43","author":"JS Cuadrado","year":"2017","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Static analysis of model transformations. IEEE Trans. Softw. Eng. 43(9), 868\u2013897 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"1123_CR20","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1007\/s10270-016-0541-1","volume":"17","author":"JS Cuadrado","year":"2018","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Quick fixing ATL transformations with speculative analysis. Softw. Syst. Model. 17(3), 779\u2013813 (2018). https:\/\/doi.org\/10.1007\/s10270-016-0541-1","journal-title":"Softw. Syst. Model."},{"key":"1123_CR21","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.infsof.2017.10.014","volume":"94","author":"HA de Souza","year":"2018","unstructured":"de Souza, H.A., Mutti, D., Chaim, M.L., Kon, F.: Contextualizing spectrum-based fault localization. Inf. Softw. Technol. 94, 245\u2013261 (2018)","journal-title":"Inf. Softw. Technol."},{"key":"1123_CR22","doi-asserted-by":"crossref","unstructured":"Du, K., Jiang, M., Ding, Z., Huang, H., Shu, T.: Metamorphic testing in fault localization of model transformations. In: International Workshop on Structured Object-Oriented Formal Language and Method, pp. 299\u2013314. Springer (2019)","DOI":"10.1007\/978-3-030-41418-4_20"},{"key":"1123_CR23","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation: Voloume 2: Applications, Languages, and Tools (1999)","DOI":"10.1142\/9789812815149"},{"issue":"1","key":"1123_CR24","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/s10270-017-0591-z","volume":"18","author":"S Gabmeyer","year":"2019","unstructured":"Gabmeyer, S., Kaufmann, P., Seidl, M., Gogolla, M., Kappel, G.: A feature-based classification of formal verification techniques for software models. Softw. Syst. Model. 18(1), 473\u2013498 (2019)","journal-title":"Softw. Syst. Model."},{"key":"1123_CR25","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Vallecillo, A.: Tractable model transformation testing. In: Proceedings of the ECMFA, pp. 221\u2013235. Springer (2011)","DOI":"10.1007\/978-3-642-21470-7_16"},{"key":"1123_CR26","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., de\u00a0Lara, J.: Wodel: a domain-specific language for model mutation. In: Proceedings of the SAC, pp. 1968\u20131973 (2016)","DOI":"10.1145\/2851613.2851751"},{"key":"1123_CR27","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":"1123_CR28","doi-asserted-by":"crossref","unstructured":"Gong, C., Zheng, Z., Li, W., Hao, P.: Effects of class imbalance in test suites: an empirical study of spectrum-based fault localization. In: Proceedings of the COMPSAC, pp. 470\u2013475 (2012)","DOI":"10.1109\/COMPSACW.2012.89"},{"issue":"1","key":"1123_CR29","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10515-012-0102-y","volume":"20","author":"E Guerra","year":"2013","unstructured":"Guerra, E., de Lara, J., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Automated verification of model transformations based on visual contracts. Autom. Softw. Eng. 20(1), 5\u201346 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"1123_CR30","doi-asserted-by":"crossref","unstructured":"Guerra, E., S\u00e1nchez-Cuadrado, J., de\u00a0Lara, J.: Towards effective mutation testing for ATL. In: Proceedings of the MODELS, pp. 78\u201388 (2019)","DOI":"10.1109\/MODELS.2019.00-13"},{"key":"1123_CR31","doi-asserted-by":"crossref","unstructured":"Hibberd, M., Lawley, M., Raymond, K.: Forensic debugging of model transformations. In: Proceedings of the MoDELS, pp. 589\u2013604. Springer (2007)","DOI":"10.1007\/978-3-540-75209-7_40"},{"key":"1123_CR32","doi-asserted-by":"crossref","unstructured":"Janssen, T., Abreu, R., van Gemund, A.J.: Zoltar: a spectrum-based fault localization tool. In: Proceedings of the SINTER@ESEC\/FSE, pp. 23\u201330. ACM (2009)","DOI":"10.1145\/1596495.1596502"},{"key":"1123_CR33","doi-asserted-by":"crossref","unstructured":"Jin, K., Lano, K.: Design and classification of mutation operators for OCL specification. In: Proceedings of the MODELS, pp. 852\u2013861 (2022)","DOI":"10.1145\/3550356.3561545"},{"key":"1123_CR34","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J.: Empirical evaluation of the tarantula automatic fault-localization technique. In: Proceedings of the ASE, pp. 273\u2013282. ACM (2005)","DOI":"10.1145\/1101908.1101949"},{"key":"1123_CR35","doi-asserted-by":"crossref","unstructured":"Khan, Y., Hassine, J.: Mutation operators for the atlas transformation language. In: Proceedings of the ICSTW Workshops, pp. 43\u201352 (2013)","DOI":"10.1109\/ICSTW.2013.13"},{"key":"1123_CR36","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s00165-014-0313-z","volume":"27","author":"K Lano","year":"2014","unstructured":"Lano, K., Clark, T., Kolahdouz-Rahimi, S.: A framework for model transformation verification. Formal Aspects Comput. 27, 193\u2013235 (2014)","journal-title":"Formal Aspects Comput."},{"key":"1123_CR37","doi-asserted-by":"publisher","first-page":"14054","DOI":"10.1109\/ACCESS.2020.2966540","volume":"8","author":"P Li","year":"2020","unstructured":"Li, P., Jiang, M., Ding, Z.: Fault localization with weighted test model in model transformations. IEEE Access 8, 14054\u201314064 (2020)","journal-title":"IEEE Access"},{"issue":"10","key":"1123_CR38","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1109\/TSE.2006.105","volume":"32","author":"C Liu","year":"2006","unstructured":"Liu, C., Fei, L., Yan, X., Han, J., Midkiff, S.P.: Statistical debugging: a hypothesis testing-based approach. IEEE Trans. Softw. Eng. 32(10), 831\u2013848 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"1123_CR39","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1007\/s10270-014-0429-x","volume":"15","author":"L L\u00facio","year":"2016","unstructured":"L\u00facio, L., Amrani, M., Dingel, J., Lambers, L., Salay, R., Selim, G.M.K., Syriani, E., Wimmer, M.: Model transformation intents and their properties. Softw. Syst. Model. 15(3), 647\u2013684 (2016)","journal-title":"Softw. Syst. Model."},{"key":"1123_CR40","unstructured":"L\u00facio, L., Oakes, B.J., Gomes, C., Selim, G., Dingel, J., Cordy, J., Vangheluwe, H.: SyVOLT: Full model transformation verification using contracts. In: Proceedings of the MODELS, pp. 24\u201327 (2015)"},{"key":"1123_CR41","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.jss.2013.08.031","volume":"89","author":"X Mao","year":"2014","unstructured":"Mao, X., Lei, Y., Dai, Z., Qi, Y., Wang, C.: Slice-based statistical fault localization. J. Syst. Softw. 89, 51\u201362 (2014). https:\/\/doi.org\/10.1016\/j.jss.2013.08.031","journal-title":"J. Syst. Softw."},{"issue":"1","key":"1123_CR42","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1111\/j.2044-8317.1968.tb00401.x","volume":"21","author":"AE Maxwell","year":"1968","unstructured":"Maxwell, A.E., Pilliner, A.E.G.: Deriving coefficients of reliability and agreement for ratings. Br. J. Math. Stat. Psychol. 21(1), 105\u2013116 (1968)","journal-title":"Br. J. Math. Stat. Psychol."},{"issue":"1","key":"1123_CR43","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s10796-018-9860-9","volume":"21","author":"S Meghzili","year":"2019","unstructured":"Meghzili, S., Chaoui, A., Strecker, M., Kerkouche, E.: Verification of model transformations using Isabelle\/HOL and Scala. Inf. Syst. Front. 21(1), 45\u201365 (2019)","journal-title":"Inf. Syst. Front."},{"key":"1123_CR44","doi-asserted-by":"crossref","unstructured":"Mottu, J.M., Baudry, B., Le\u00a0Traon, Y.: Mutation analysis testing for model transformations. In: Proceedings of the ECMDA-FA, pp. 376\u2013390 (2006)","DOI":"10.1007\/11787044_28"},{"issue":"3","key":"1123_CR45","doi-asserted-by":"publisher","first-page":"11:1","DOI":"10.1145\/2000791.2000795","volume":"20","author":"L Naish","year":"2011","unstructured":"Naish, L., Lee, H.J., Ramamohanarao, K.: A model for spectra-based software diagnosis. ACM Trans. Softw. Eng. Methodol. 20(3), 11:1-11:32 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1123_CR46","unstructured":"NaoMod Research Group - IMT Atlantique: ATL Zoo Benchmark. https:\/\/github.com\/atlanmod\/mondo-atlzoo-benchmark"},{"key":"1123_CR47","doi-asserted-by":"crossref","unstructured":"Narayanan, A., Karsai, G.: Verifying model transformations by structural correspondence. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)","DOI":"10.1016\/j.entcs.2008.04.041"},{"key":"1123_CR48","unstructured":"Oakes, B.J.: A symbolic execution-based approach to model transformation verification using structural contracts. Ph.D. thesis, McGill University (2018)"},{"key":"1123_CR49","doi-asserted-by":"crossref","unstructured":"Oakes, B.J., Troya, J., L\u00facio, L., Wimmer, M.: Fully verifying transformation contracts for declarative ATL. In: Proceedings of the MODELS, pp. 256\u2013265 (2015)","DOI":"10.1109\/MODELS.2015.7338256"},{"issue":"3","key":"1123_CR50","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1007\/s10270-016-0548-7","volume":"17","author":"BJ Oakes","year":"2018","unstructured":"Oakes, B.J., Troya, J., L\u00facio, L., Wimmer, M.: Full contract verification for ATL using symbolic execution. Softw. Syst. Model. 17(3), 815\u2013849 (2018)","journal-title":"Softw. Syst. Model."},{"key":"1123_CR51","unstructured":"Oakes, B.J., Verbrugge, C., L\u00facio, L., Vangheluwe, H.: Debugging of model transformations and contracts in SyVOLT. In: Proceedings of the MDEbug@MODELS, pp. 532\u2013537 (2018)"},{"key":"1123_CR52","unstructured":"Paen, E.: Measuring incrementally developed model transformations using change metrics. Master\u2019s thesis, Queen\u2019s University (2012)"},{"key":"1123_CR53","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10270-014-0399-z","volume":"15","author":"E Posse","year":"2016","unstructured":"Posse, E., Dingel, J.: An executable formal semantics for UML-RT. Softw. Syst. Model. 15, 179\u2013217 (2016)","journal-title":"Softw. Syst. Model."},{"key":"1123_CR54","doi-asserted-by":"publisher","unstructured":"Qi, Y., Mao, X., Lei, Y., Wang, C.: Using automated program repair for evaluating the effectiveness of fault localization techniques. In: Proceedings of the ISSTA, pp. 191\u2013201. ACM (2013). https:\/\/doi.org\/10.1145\/2483760.2483785","DOI":"10.1145\/2483760.2483785"},{"issue":"2","key":"1123_CR55","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.1007\/s10270-013-0358-0","volume":"14","author":"LA Rahim","year":"2015","unstructured":"Rahim, L.A., Whittle, J.: A survey of approaches for verifying model transformations. Softw. Syst. Model. 14(2), 1003\u20131028 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"1123_CR56","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s10270-021-00891-0","volume":"21","author":"R Rodriguez-Echeverria","year":"2022","unstructured":"Rodriguez-Echeverria, R., Mac\u00edas, F., Rutle, A., Conejero, J.M.: Suggesting model transformation repairs for rule-based languages using a contract-based testing approach. Softw. Syst. Model. 21(1), 81\u2013112 (2022)","journal-title":"Softw. Syst. Model."},{"key":"1123_CR57","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, 868\u2013897 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1123_CR58","unstructured":"Selim, G.: Formal verification of graph-based model transformations. Ph.D. thesis, Queen\u2019s University (2015)"},{"key":"1123_CR59","unstructured":"Selim, G., Cordy, J., Dingel, J., L\u00facio, L., Oakes, B.J.: Finding and fixing bugs in model transformations with formal verification: an experience report. In: Proceedings of the ATM @ MODELS, pp. 26\u201335 (2015)"},{"key":"1123_CR60","doi-asserted-by":"crossref","unstructured":"Selim, G., L\u00facio, L., Cordy, J., Dingel, J., Oakes, B.J.: Specification and verification of graph-based model transformation properties. In: Proceedings of the ICGT, pp. 113\u2013129. Springer (2014)","DOI":"10.1007\/978-3-319-09108-2_8"},{"key":"1123_CR61","doi-asserted-by":"crossref","unstructured":"Selim, G.M.K., Wang, S., Cordy, J.R., Dingel, J.: Model transformations for migrating legacy models: an industrial case study. In: Proceedings of the ECMFA, pp. 90\u2013101. Springer (2012)","DOI":"10.1007\/978-3-642-31491-9_9"},{"key":"1123_CR62","doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B.: Mutation-based model synthesis in model driven engineering. In: Proceedings of the Mutation Workshop, pp. 1\u201310 (2006)","DOI":"10.1109\/MUTATION.2006.12"},{"key":"1123_CR63","doi-asserted-by":"publisher","unstructured":"SBFL for MT with Symbolic Execution. https:\/\/doi.org\/10.5281\/zenodo.3954860. https:\/\/github.com\/javitroya\/sbfl-symbolic-execution-mt","DOI":"10.5281\/zenodo.3954860"},{"key":"1123_CR64","unstructured":"SyVOLT tool. https:\/\/github.com\/levilucio\/SyVOLT"},{"key":"1123_CR65","doi-asserted-by":"crossref","unstructured":"Troya, J., Bergmayr, A., Burgue\u00f1o, L., Wimmer, M.: Towards systematic mutations for and with ATL model transformations. In: Proceedings of the ICSTW Worshops, pp. 1\u201310 (2015)","DOI":"10.1109\/ICSTW.2015.7107455"},{"key":"1123_CR66","doi-asserted-by":"publisher","unstructured":"Troya, J., Bergmayr, A., Burgueno, L., Wimmer, M.: Towards systematic mutations for and with ATL model transformations. In: Proceedings of the Mutation Workshop @ ICSTW, pp. 1\u201310 (2015). https:\/\/doi.org\/10.1109\/ICSTW.2015.7107455","DOI":"10.1109\/ICSTW.2015.7107455"},{"issue":"4","key":"1123_CR67","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3523056","volume":"55","author":"J Troya","year":"2022","unstructured":"Troya, J., Segura, S., Burgue\u00f1o, L., Wimmer, M.: Model transformation testing and debugging: a survey. ACM Comput. Surv. (CSUR) 55(4), 1\u201339 (2022)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"1123_CR68","unstructured":"Troya, J., Segura, S., Parejo, J.A., Ruiz-Cortes, A.: An approach for debugging model transformations applying spectrum-based fault localization. In: XXII Jornadas de Ingenier\u00eda del Software y Bases de Datos (JISBD) (2017). https:\/\/biblioteca.sistedes.es\/submissions\/uploaded-files\/JISBD_2017_paper_32.pdf"},{"issue":"3","key":"1123_CR69","doi-asserted-by":"publisher","first-page":"13:1","DOI":"10.1145\/3241744","volume":"27","author":"J Troya","year":"2018","unstructured":"Troya, J., Segura, S., Parejo, J.A., Ruiz-Cort\u00e9s, A.: Spectrum-based fault localization in model transformations. ACM Trans. Softw. Eng. Methodol. 27(3), 13:1-13:50 (2018)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1123_CR70","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., Ruiz-Cort\u00e9s, A.: 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":"5","key":"1123_CR71","first-page":"1","volume":"10","author":"J Troya","year":"2011","unstructured":"Troya, J., Vallecillo, A.: A rewriting logic semantics for ATL. J. Object Technol. 10(5), 1\u201329 (2011)","journal-title":"J. Object Technol."},{"key":"1123_CR72","doi-asserted-by":"crossref","unstructured":"Ujhelyi, Z., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Dynamic backward slicing of model transformations. In: Proceedings of the ICST, pp. 1\u201310. IEEE (2012)","DOI":"10.1109\/ICST.2012.80"},{"key":"1123_CR73","volume-title":"The Object Constraint Language: Getting your models ready for MDA","author":"J Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting your models ready for MDA. Addison Wesley, Boston (2003)"},{"key":"1123_CR74","doi-asserted-by":"publisher","unstructured":"Weidmann, N., Yigitbas, E., Anjorin, A., Srivastava, A., Jose, J.: Human-in-the-loop large-scale model transformations with the victory debugger. J. Object Technol. 21(3), 3:1\u201315 (2022). https:\/\/doi.org\/10.5381\/jot.2022.21.3.a8. http:\/\/www.jot.fm\/contents\/issue_2022_03\/article8.html. The 18th European Conference on Modelling Foundations and Applications (ECMFA 2022)","DOI":"10.5381\/jot.2022.21.3.a8"},{"key":"1123_CR75","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kappel, G., Sch\u00f6nb\u00f6ck, J., Kusel, A., Retschitzegger, W., Schwinger, W.: A Petri Net based debugging environment for QVT Relations. In: Proceedings of the ASE, pp. 3\u201314. IEEE (2009)","DOI":"10.1109\/ASE.2009.99"},{"issue":"2","key":"1123_CR76","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.5381\/jot.2012.11.2.a2","volume":"11","author":"M Wimmer","year":"2012","unstructured":"Wimmer, M., Mart\u00ednez, S., Jouault, F., Cabot, J.: A catalogue of refactorings for model-to-model transformations. J. Object Technol. 11(2), 2:1-40 (2012). https:\/\/doi.org\/10.5381\/jot.2012.11.2.a2","journal-title":"J. Object Technol."},{"key":"1123_CR77","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.: Experimentation in Software Engineering. Springer, Berlin (2012)"},{"issue":"1","key":"1123_CR78","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1109\/TR.2013.2285319","volume":"63","author":"WE Wong","year":"2014","unstructured":"Wong, W.E., Debroy, V., Gao, R., Li, Y.: The DStar method for effective software fault localization. IEEE Trans. Reliab. 63(1), 290\u2013308 (2014). https:\/\/doi.org\/10.1109\/TR.2013.2285319","journal-title":"IEEE Trans. Reliab."},{"key":"1123_CR79","doi-asserted-by":"crossref","unstructured":"Wong, W.E., Debroy, V., Li, Y., Gao, R.: Software fault localization using DStar (D*). In: Proceedings of the SERE, pp. 21\u201330 (2012)","DOI":"10.1109\/SERE.2012.12"},{"issue":"8","key":"1123_CR80","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1109\/TSE.2016.2521368","volume":"42","author":"WE Wong","year":"2016","unstructured":"Wong, W.E., Gao, R., Li, Y., Abreu, R., Wotawa, F.: A survey on software fault localization. IEEE Trans. Softw. Eng. 42(8), 707\u2013740 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"1123_CR81","doi-asserted-by":"publisher","first-page":"31:1","DOI":"10.1145\/2522920.2522924","volume":"22","author":"X Xie","year":"2013","unstructured":"Xie, X., Chen, T.Y., Kuo, F.C., Xu, B.: A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization. ACM Trans. Softw. Eng. Methodol. 22(4), 31:1-31:40 (2013)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1123_CR82","doi-asserted-by":"crossref","unstructured":"Yu, Y., Jones, J.A., Harrold, M.J.: An empirical study of the effects of test-suite reduction on fault localization. In: Proceedings of the ICSE, pp. 201\u2013210. ACM (2008)","DOI":"10.1145\/1368088.1368116"},{"issue":"11","key":"1123_CR83","doi-asserted-by":"publisher","first-page":"1573","DOI":"10.1016\/j.infsof.2009.06.013","volume":"51","author":"Z Zhang","year":"2009","unstructured":"Zhang, Z., Chan, W., Tse, T., Hu, P., Wang, X.: Is non-parametric hypothesis testing model robust for statistical fault localization? Inf. Softw. Technol. 51(11), 1573\u20131585 (2009)","journal-title":"Inf. Softw. Technol."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01123-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-023-01123-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01123-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T04:13:25Z","timestamp":1721448805000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-023-01123-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,29]]},"references-count":83,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["1123"],"URL":"https:\/\/doi.org\/10.1007\/s10270-023-01123-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,29]]},"assertion":[{"value":"9 September 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 May 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 July 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 September 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}