{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T15:14:41Z","timestamp":1773501281784,"version":"3.50.1"},"reference-count":122,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2018,7,31]],"date-time":"2018-07-31T00:00:00Z","timestamp":1532995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Commission (FEDER) and Spanish Government under CICYT project BELI","award":["TIN2015-70560-R"],"award-info":[{"award-number":["TIN2015-70560-R"]}]},{"name":"Andalusian Government project COPAS","award":["P12-TIC-1867"],"award-info":[{"award-number":["P12-TIC-1867"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2018,7,31]]},"abstract":"<jats:p>Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques greatly relies on the correctness of model transformations. However, it is challenging and error prone to debug them, and the situation gets more critical as the size and complexity of model transformations grow, where manual debugging is no longer possible.<\/jats:p>\n          <jats:p>\n            Spectrum-Based Fault Localization (SBFL) uses the results of test cases and their corresponding code coverage information to estimate the likelihood of each program component (e.g., statements) of being faulty. In this article we present an approach to apply SBFL for locating the faulty rules in model transformations. We evaluate the feasibility and accuracy of the approach by comparing the effectiveness of 18 different state-of-the-art SBFL techniques at locating faults in model transformations. Evaluation results revealed that the best techniques, namely\n            <jats:italic>Kulcynski2<\/jats:italic>\n            ,\n            <jats:italic>Mountford<\/jats:italic>\n            ,\n            <jats:italic>Ochiai<\/jats:italic>\n            , and\n            <jats:italic>Zoltar<\/jats:italic>\n            , lead the debugger to inspect a maximum of three rules to locate the bug in around 74% of the cases. Furthermore, we compare our approach with a static approach for fault localization in model transformations, observing a clear superiority of the proposed SBFL-based method.\n          <\/jats:p>","DOI":"10.1145\/3241744","type":"journal-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T12:14:54Z","timestamp":1537186494000},"page":"1-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":45,"title":["Spectrum-Based Fault Localization in Model Transformations"],"prefix":"10.1145","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1314-9694","authenticated-orcid":false,"given":"Javier","family":"Troya","sequence":"first","affiliation":[{"name":"Universidad de Sevilla, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8816-6213","authenticated-orcid":false,"given":"Sergio","family":"Segura","sequence":"additional","affiliation":[{"name":"Universidad de Sevilla, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2762-0237","authenticated-orcid":false,"given":"Jose Antonio","family":"Parejo","sequence":"additional","affiliation":[{"name":"Universidad de Sevilla, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9827-1834","authenticated-orcid":false,"given":"Antonio","family":"Ruiz-Cort\u00e9s","sequence":"additional","affiliation":[{"name":"Universidad de Sevilla, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,17]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868328.1868347"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.25"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.035"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308173.1308264"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598308"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.17"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45547-1_2"},{"key":"e_1_2_1_8_1","volume-title":"On challenges of model transformation from UML to alloy. Softw. Syst. Model. 9, 1","author":"Anastasakis Kyriakos","year":"2008","unstructured":"Kyriakos Anastasakis , Behzad Bordbar , Geri Georg , and Indrakshi Ray . 2008. On challenges of model transformation from UML to alloy. Softw. Syst. Model. 9, 1 ( 2008 ). Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, and Indrakshi Ray. 2008. On challenges of model transformation from UML to alloy. Softw. Syst. Model. 9, 1 (2008)."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1532"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1926458.1926471"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-016-9312-z"},{"key":"e_1_2_1_12_1","unstructured":"ATL. 2006. ATL Zoo. Retrieved from http:\/\/www.eclipse.org\/atl\/atlTransformations.  ATL. 2006. ATL Zoo. Retrieved from http:\/\/www.eclipse.org\/atl\/atlTransformations."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the ECMDA Workshop on Integration of Model Driven Development and Model Driven Testing. http:\/\/www.cs.colostate.edu\/ france\/publications\/TransTestin","author":"Baudry Benoit","year":"2006","unstructured":"Benoit Baudry , Trung Dinh-Trong , Jean-Marie Mottu , Devon Simmonds , Robert France , Sudipto Ghosh , Franck Fleurey , and Yves Le Traon . 2006 . Model transformation testing challenges . In Proceedings of the ECMDA Workshop on Integration of Model Driven Development and Model Driven Testing. http:\/\/www.cs.colostate.edu\/ france\/publications\/TransTestin Benoit Baudry, Trung Dinh-Trong, Jean-Marie Mottu, Devon Simmonds, Robert France, Sudipto Ghosh, Franck Fleurey, and Yves Le Traon. 2006. Model transformation testing challenges. In Proceedings of the ECMDA Workshop on Integration of Model Driven Development and Model Driven Testing. http:\/\/www.cs.colostate.edu\/ france\/publications\/TransTestin"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814258"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Marco Brambilla Jordi Cabot and Manuel Wimmer. 2012. Model-Driven Software Engineering in Practice. Morgan&Claypool.   Marco Brambilla Jordi Cabot and Manuel Wimmer. 2012. Model-Driven Software Engineering in Practice. Morgan&Claypool.","DOI":"10.1007\/978-3-031-02546-4"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.27"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2375201"},{"key":"e_1_2_1_19_1","unstructured":"Loli Burgue\u00f1o Manuel Wimmer Javier Troya and Antonio Vallecillo. 2013. TractsTool: Testing MTs based on contracts. In Invited Talks Demonstration Session Poster Session and ACM Student Research Competition (MODELS\u201913). CEUR.  Loli Burgue\u00f1o Manuel Wimmer Javier Troya and Antonio Vallecillo. 2013. TractsTool: Testing MTs based on contracts. In Invited Talks Demonstration Session Poster Session and ACM Student Research Competition (MODELS\u201913). CEUR."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of Brazilian Symposium on Formal Methods (SBMF\u201910)","author":"Calegari Daniel","year":"2010","unstructured":"Daniel Calegari , Carlos Luna , Nora Szasz , and Alvaro Tasistro . 2010 . A type-theoretic framework for certified model transformations . In Proceedings of Brazilian Symposium on Formal Methods (SBMF\u201910) . 112--127. Daniel Calegari, Carlos Luna, Nora Szasz, and Alvaro Tasistro. 2010. A type-theoretic framework for certified model transformations. In Proceedings of Brazilian Symposium on Formal Methods (SBMF\u201910). 112--127."},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the OCL and Model Driven Engineering Workshop. http:\/\/web.univ-pau.fr\/ ecariou\/papers\/workshop-ocl-mde-uml2004-pape.","author":"Cariou Eric","year":"2004","unstructured":"Eric Cariou , Rapha\u00ebl Marvie , Lionel Seinturier , and Laurence Duchien . 2004 . OCL for the specification of model transformation contracts . In Proceedings of the OCL and Model Driven Engineering Workshop. http:\/\/web.univ-pau.fr\/ ecariou\/papers\/workshop-ocl-mde-uml2004-pape. Eric Cariou, Rapha\u00ebl Marvie, Lionel Seinturier, and Laurence Duchien. 2004. OCL for the specification of model transformation contracts. In Proceedings of the OCL and Model Driven Engineering Workshop. http:\/\/web.univ-pau.fr\/ ecariou\/papers\/workshop-ocl-mde-uml2004-pape."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21155-8_11"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_17"},{"key":"e_1_2_1_24_1","volume-title":"Romina Eramo, and Alfonso Pierantonio.","author":"Cicchetti Antonio","year":"2011","unstructured":"Antonio Cicchetti , Davide Di Ruscio , Romina Eramo, and Alfonso Pierantonio. 2011 . JTL : A bidirectional and change propagating transformation language. In Software Language Engineering. LNCS, Vol. 6563 . Springer , 183--202. Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, and Alfonso Pierantonio. 2011. JTL: A bidirectional and change propagating transformation language. In Software Language Engineering. LNCS, Vol. 6563. Springer, 183--202."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 1st International Workshop on Model-Driven Engineering on and for the Cloud. Springer","author":"Clasen Cau\u00ea","year":"2012","unstructured":"Cau\u00ea Clasen , Marcos Didonet Del Fabro , and Massimo Tisi . 2012 . Transforming very large models in the cloud: A research roadmap . In Proceedings of the 1st International Workshop on Model-Driven Engineering on and for the Cloud. Springer , Copenhagen, Denmark. https:\/\/hal.inria.fr\/hal-00711524 Cau\u00ea Clasen, Marcos Didonet Del Fabro, and Massimo Tisi. 2012. Transforming very large models in the cloud: A research roadmap. In Proceedings of the 1st International Workshop on Model-Driven Engineering on and for the Cloud. Springer, Copenhagen, Denmark. https:\/\/hal.inria.fr\/hal-00711524"},{"key":"e_1_2_1_26_1","volume-title":"LNCS","volume":"4350","author":"Clavel Manuel","year":"2007","unstructured":"Manuel Clavel , Francisco Dur\u00e1n , Steven Eker , Patrick Lincoln , Narciso Mart\u00ed-Oliet , Jos\u00e9 Meseguer , and Carolyn Talcott . 2007 . All About Maude\u2014A High-Performance Logical Framework . LNCS , Vol. 4350 . Springer. Manuel Clavel, Francisco Dur\u00e1n, Steven Eker, Patrick Lincoln, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, and Carolyn Talcott. 2007. All About Maude\u2014A High-Performance Logical Framework. LNCS, Vol. 4350. Springer."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787011"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.06.001"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/645370.651300"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.swevo.2011.02.002"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36089-3_19"},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the European Conference on Model Driven Architecture\u2014Traceability Workshop (ECMDA-TW\u201906)","author":"Falleri Jean-R\u00e9my","year":"2006","unstructured":"Jean-R\u00e9my Falleri , Marianne Huchard , and Cl\u00e9mentine Nebut . 2006 . Towards a traceability framework for model transformations in Kermeta . In Proceedings of the European Conference on Model Driven Architecture\u2014Traceability Workshop (ECMDA-TW\u201906) . 31--40. https:\/\/hal-lirmm.ccsd.cnrs.fr\/lirmm-00102855 Jean-R\u00e9my Falleri, Marianne Huchard, and Cl\u00e9mentine Nebut. 2006. Towards a traceability framework for model transformations in Kermeta. In Proceedings of the European Conference on Model Driven Architecture\u2014Traceability Workshop (ECMDA-TW\u201906). 31--40. https:\/\/hal-lirmm.ccsd.cnrs.fr\/lirmm-00102855"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2654255"},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of First North American Search Based Software Engineering Symposium (NasBASE'15)","author":"Fleck Martin","year":"2015","unstructured":"Martin Fleck , Javier Troya , and Manuel Wimmer . 2015 . Marrying search-based optimization and model transformation technology . In Proceedings of First North American Search Based Software Engineering Symposium (NasBASE'15) . 1--16. Martin Fleck, Javier Troya, and Manuel Wimmer. 2015. Marrying search-based optimization and model transformation technology. In Proceedings of First North American Search Based Software Engineering Symposium (NasBASE'15). 1--16."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1804"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42064-6_6"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0074-8"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0074-8"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177731944"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_61"},{"key":"e_1_2_1_42_1","volume-title":"Tractable Model Transformation Testing","author":"Gogolla Martin","unstructured":"Martin Gogolla and Antonio Vallecillo . 2011. Tractable Model Transformation Testing . Springer , Berlin , 221--235. Martin Gogolla and Antonio Vallecillo. 2011. Tractable Model Transformation Testing. Springer, Berlin, 221--235."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2012.89"},{"key":"e_1_2_1_44_1","volume-title":"Gonz\u00e1lez and Jordi Cabot","author":"Carlos","year":"2012","unstructured":"Carlos A. Gonz\u00e1lez and Jordi Cabot . 2012 . ATLTest: A White-Box Test Generation Approach for ATL Transformations. Springer , 449--464. Carlos A. Gonz\u00e1lez and Jordi Cabot. 2012. ATLTest: A White-Box Test Generation Approach for ATL Transformations. Springer, 449--464."},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0121-8"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30476-7_3"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-012-0102-y"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0369-x"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.3"},{"key":"e_1_2_1_50_1","first-page":"171","article-title":"An empirical investigation of the relationship between spectra differences and regression faults. Softw, Test, Verif","volume":"10","author":"Harrold Mary Jean","year":"2000","unstructured":"Mary Jean Harrold , Gregg Rothermel , Kent Sayre , Rui Wu , and Liu Yi . 2000 . An empirical investigation of the relationship between spectra differences and regression faults. Softw, Test, Verif , Reliabil , 10 , 3 (2000), 171 -- 194 . Mary Jean Harrold, Gregg Rothermel, Kent Sayre, Rui Wu, and Liu Yi. 2000. An empirical investigation of the relationship between spectra differences and regression faults. Softw, Test, Verif, Reliabil, 10, 3 (2000), 171--194.","journal-title":"Reliabil"},{"key":"e_1_2_1_51_1","volume-title":"Testing bidirectional model transformation using metamorphic testing. Information and Software Technology","author":"He Xiao","year":"2018","unstructured":"Xiao He , Xing Chen , Sibo Cai , Ying Zhang , and Gang Huang . 2018. Testing bidirectional model transformation using metamorphic testing. Information and Software Technology ( 2018 ). Xiao He, Xing Chen, Sibo Cai, Ying Zhang, and Gang Huang. 2018. Testing bidirectional model transformation using metamorphic testing. Information and Software Technology (2018)."},{"key":"e_1_2_1_52_1","volume-title":"Nonparametric Statistical Methods","author":"Hollander Myles","unstructured":"Myles Hollander , Douglas A. Wolfe , and Eric Chicken . 2013. Nonparametric Statistical Methods . John Wiley 8 Sons. Myles Hollander, Douglas A. Wolfe, and Eric Chicken. 2013. Nonparametric Statistical Methods. John Wiley 8 Sons."},{"key":"e_1_2_1_53_1","first-page":"65","article-title":"A simple sequentially rejective multiple test procedure","volume":"6","author":"Holm Sture","year":"1979","unstructured":"Sture Holm . 1979 . A simple sequentially rejective multiple test procedure . Scand. J. Statist. 6 , 2 (1979), 65 -- 70 . SJSADG Sture Holm. 1979. A simple sequentially rejective multiple test procedure. Scand. J. Statist. 6, 2 (1979), 65--70. SJSADG","journal-title":"Scand. J. Statist."},{"key":"e_1_2_1_54_1","unstructured":"INRIA. 2005. ATL Transformation Example: BibTeXML to DocBook. Retrieved from https:\/\/www.eclipse.org\/atl\/atlTransformations\/BibTeXML2DocBook\/ExampleBibTeXML2DocBook{v00.01}.pdf.  INRIA. 2005. ATL Transformation Example: BibTeXML to DocBook. Retrieved from https:\/\/www.eclipse.org\/atl\/atlTransformations\/BibTeXML2DocBook\/ExampleBibTeXML2DocBook{v00.01}.pdf."},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596495.1596502"},{"key":"e_1_2_1_56_1","volume-title":"Generative and Transformational Techniques in Software Engineering III. LNCS","author":"J\u00e9z\u00e9quel Jean-Marc","unstructured":"Jean-Marc J\u00e9z\u00e9quel , Olivier Barais , and Franck Fleurey . 2011. Model driven language engineering with Kermeta . In Generative and Transformational Techniques in Software Engineering III. LNCS , Vol. 6491 . Springer , 201--221. Jean-Marc J\u00e9z\u00e9quel, Olivier Barais, and Franck Fleurey. 2011. Model driven language engineering with Kermeta. In Generative and Transformational Techniques in Software Engineering III. LNCS, Vol. 6491. Springer, 201--221."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.016"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_2_1_60_1","volume-title":"Workshop Proceedings of European Conference on Model Driven Architecture\u2014Traceability Workshop (ECMDA\u201905)","author":"Jouault Fr\u00e9d\u00e9ric","year":"2005","unstructured":"Fr\u00e9d\u00e9ric Jouault . 2005 . Loosely coupled traceability for ATL . In Workshop Proceedings of European Conference on Model Driven Architecture\u2014Traceability Workshop (ECMDA\u201905) . Fr\u00e9d\u00e9ric Jouault. 2005. Loosely coupled traceability for ATL. In Workshop Proceedings of European Conference on Model Driven Architecture\u2014Traceability Workshop (ECMDA\u201905)."},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176691"},{"key":"e_1_2_1_63_1","volume-title":"Proceedings of the ECOOP Workshop on Domain-Specific Program Development","author":"Jouault Fr\u00e9d\u00e9ric","year":"2006","unstructured":"Fr\u00e9d\u00e9ric Jouault , Jean B\u00e9zivin , Charles Consel , Ivan Kurtev , and Fabien Latry . 2006 . Building DSLs with AMMA\/ATL, a case study on SPL and CPL telephony languages . In Proceedings of the ECOOP Workshop on Domain-Specific Program Development . Nantes, France. https:\/\/hal.inria.fr\/inria-00353580 Fr\u00e9d\u00e9ric Jouault, Jean B\u00e9zivin, Charles Consel, Ivan Kurtev, and Fabien Latry. 2006. Building DSLs with AMMA\/ATL, a case study on SPL and CPL telephony languages. In Proceedings of the ECOOP Workshop on Domain-Specific Program Development. Nantes, France. https:\/\/hal.inria.fr\/inria-00353580"},{"key":"e_1_2_1_64_1","unstructured":"Begashaw Gezu Kirsie. 2010. Guideline and Evaluation of Model Transformation Engineering Approaches. Master\u2019s thesis. KTH Industrial Engineering and Management Sweden.  Begashaw Gezu Kirsie. 2010. Guideline and Evaluation of Model Transformation Engineering Approaches. Master\u2019s thesis. KTH Industrial Engineering and Management Sweden."},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2487766.2487768"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0017-9"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2010.26"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.105"},{"key":"e_1_2_1_69_1","volume-title":"Proceedings of the 2012 9th IEEE Working Conference on Mining Software Repositories (MSR\u201912)","author":"Thung F.","unstructured":"Lucia, F. Thung , D. Lo , and L. Jiang . 2012. Are faults localizable? In Proceedings of the 2012 9th IEEE Working Conference on Mining Software Repositories (MSR\u201912) . 74--77. Lucia, F. Thung, D. Lo, and L. Jiang. 2012. Are faults localizable? In Proceedings of the 2012 9th IEEE Working Conference on Mining Software Repositories (MSR\u201912). 74--77."},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1616"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0429-x"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-003-0020-3"},{"key":"e_1_2_1_73_1","volume-title":"Slice-based statistical fault localization. J. Syst. Softw. 89 (Mar","author":"Mao Xiaoguang","year":"2014","unstructured":"Xiaoguang Mao , Yan Lei , Ziying Dai , Yuhua Qi , and Chengsong Wang . 2014. Slice-based statistical fault localization. J. Syst. Softw. 89 (Mar . 2014 ), 51--62. Xiaoguang Mao, Yan Lei, Ziying Dai, Yuhua Qi, and Chengsong Wang. 2014. Slice-based statistical fault localization. J. Syst. Softw. 89 (Mar. 2014), 51--62."},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.2044-8317.1968.tb00401.x"},{"key":"e_1_2_1_75_1","unstructured":"S. J. Mellor K. Scott A. Uhl D. Weise and R. M. Soley. 2004. MDA Distilled: Principles of Model-driven Architecture. Vol. 88. Addison-Wesley.   S. J. Mellor K. Scott A. Uhl D. Weise and R. M. Soley. 2004. MDA Distilled: Principles of Model-driven Architecture. Vol. 88. Addison-Wesley."},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09195-2_9"},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_28"},{"key":"e_1_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000791.2000795"},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2015.12"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0548-7"},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.01.016"},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.5555\/2555754.2555764"},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939864.1939872"},{"key":"e_1_2_1_84_1","unstructured":"Eclipse Modeling Project. 2015. Atlas Transformation Language\u2014ATL. Retrieved from http:\/\/eclipse.org\/atl.  Eclipse Modeling Project. 2015. Atlas Transformation Language\u2014ATL. Retrieved from http:\/\/eclipse.org\/atl."},{"key":"e_1_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483785"},{"key":"e_1_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2009.5295300"},{"key":"e_1_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0245-0"},{"key":"e_1_2_1_88_1","unstructured":"K. Rustan and M. Leino. 2008. This Is Boogie 2. Technical Report. Manuscript KRML 178.  K. Rustan and M. Leino. 2008. This Is Boogie 2. Technical Report. Manuscript KRML 178."},{"key":"e_1_2_1_89_1","first-page":"3","article-title":"Modularization of model transformations through a phasing mechanism","volume":"8","author":"S\u00e1nchez-Cuadrado Jes\u00fas","year":"2009","unstructured":"Jes\u00fas S\u00e1nchez-Cuadrado and Jes\u00fas Garc\u00eda-Molina . 2009 . Modularization of model transformations through a phasing mechanism . Softw. Syst. Model. 8 , 3 (Jul 2009), 325--345. Jes\u00fas S\u00e1nchez-Cuadrado and Jes\u00fas Garc\u00eda-Molina. 2009. Modularization of model transformations through a phasing mechanism. Softw. Syst. Model. 8, 3 (Jul 2009), 325--345.","journal-title":"Softw. Syst. Model."},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0541-1"},{"key":"e_1_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2635137"},{"key":"e_1_2_1_92_1","volume-title":"Proceedings of the ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201917)","author":"S\u00e1nchez-Cuadrado J.","unstructured":"J. S\u00e1nchez-Cuadrado , E. Guerra , J. de Lara , R. Claris\u00f3 , and J. Cabot . 2017. Translating target to source constraints in model-to-model transformations . In Proceedings of the ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201917) . 12--22. J. S\u00e1nchez-Cuadrado, E. Guerra, J. de Lara, R. Claris\u00f3, and J. Cabot. 2017. Translating target to source constraints in model-to-model transformations. In Proceedings of the ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201917). 12--22."},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"e_1_2_1_94_1","volume-title":"Model Transformations for Migrating Legacy Models: An Industrial Case Study","author":"Selim Gehan M. K.","unstructured":"Gehan M. K. Selim , Shige Wang , James R. Cordy , and Juergen Dingel . 2012. Model Transformations for Migrating Legacy Models: An Industrial Case Study . Springer , Berlin , 90--101. Gehan M. K. Selim, Shige Wang, James R. Cordy, and Juergen Dingel. 2012. Model Transformations for Migrating Legacy Models: An Industrial Case Study. Springer, Berlin, 90--101."},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_11"},{"key":"e_1_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"key":"e_1_2_1_97_1","volume-title":"Proceedings of the 2nd Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE\u201903)","volume":"3062","author":"Taentzer Gabriele","year":"2003","unstructured":"Gabriele Taentzer . 2003 . AGG: A graph transformation environment for modeling and validation of software . In Proceedings of the 2nd Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE\u201903) . LNCS, Vol. 3062 . Springer, 446--453. Gabriele Taentzer. 2003. AGG: A graph transformation environment for modeling and validation of software. In Proceedings of the 2nd Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE\u201903). LNCS, Vol. 3062. Springer, 446--453."},{"key":"e_1_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2015.7107455"},{"key":"e_1_2_1_99_1","volume-title":"Jos\u00e9 Antonio Parejo, and Antonio Ruiz-Cortes","author":"Troya Javier","year":"2017","unstructured":"Javier Troya , Sergio Segura , Jos\u00e9 Antonio Parejo, and Antonio Ruiz-Cortes . 2017 . An approach for debugging model transformations applying spectrum-based fault localization. In XXII Jornadas de Ingenier\u00eda del Software y Bases de Datos (JISBD\u2019 17). https:\/\/biblioteca.sistedes.es\/submissions\/uploaded-files\/JISBD_2017_paper_32.pdf. Javier Troya, Sergio Segura, Jos\u00e9 Antonio Parejo, and Antonio Ruiz-Cortes. 2017. An approach for debugging model transformations applying spectrum-based fault localization. In XXII Jornadas de Ingenier\u00eda del Software y Bases de Datos (JISBD\u201917). https:\/\/biblioteca.sistedes.es\/submissions\/uploaded-files\/JISBD_2017_paper_32.pdf."},{"key":"e_1_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1145\/3241744"},{"key":"e_1_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.05.043"},{"key":"e_1_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2011.10.1.a5"},{"key":"e_1_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2014.01.002"},{"key":"e_1_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30476-7_4"},{"key":"e_1_2_1_105_1","first-page":"101","article-title":"A critique and improvement of the CL common language effect size statistics of McGraw and Wong","volume":"25","author":"Vargha Andr\u00e1s","year":"2000","unstructured":"Andr\u00e1s Vargha and Harold D. Delaney . 2000 . A critique and improvement of the CL common language effect size statistics of McGraw and Wong . J. Educ. Behav. Stat. 25 , 2 (2000), 101 -- 132 . Andr\u00e1s Vargha and Harold D. Delaney. 2000. A critique and improvement of the CL common language effect size statistics of McGraw and Wong. J. Educ. Behav. Stat. 25, 2 (2000), 101--132.","journal-title":"J. Educ. Behav. Stat."},{"key":"e_1_2_1_106_1","volume-title":"Proceedings of the 2nd Software Development Automation Conference.","author":"Wagelaar D.","year":"2014","unstructured":"D. Wagelaar . 2014 . Using ATL\/EMFTVM for import\/export of medical data . In Proceedings of the 2nd Software Development Automation Conference. D. Wagelaar. 2014. Using ATL\/EMFTVM for import\/export of medical data. In Proceedings of the 2nd Software Development Automation Conference."},{"key":"e_1_2_1_107_1","unstructured":"Leonard Muellner Norman Walsh. 1999. DocBook: The Definitive Guide. O\u2019Reilly 8 Associates. http:\/\/www.docbook.org\/tdg\/  Leonard Muellner Norman Walsh. 1999. DocBook: The Definitive Guide. O\u2019Reilly 8 Associates. http:\/\/www.docbook.org\/tdg\/"},{"key":"e_1_2_1_108_1","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"Warmer Jos","unstructured":"Jos Warmer and Anneke Kleppe . 2003. The Object Constraint Language: Getting Your Models Ready for MDA . Addison-Wesley . Jos Warmer and Anneke Kleppe. 2003. The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley."},{"key":"e_1_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_13"},{"key":"e_1_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.99"},{"key":"e_1_2_1_111_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2012.11.2.a2"},{"key":"e_1_2_1_112_1","doi-asserted-by":"publisher","DOI":"10.5555\/2349018"},{"key":"e_1_2_1_113_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2013.2285319"},{"key":"e_1_2_1_114_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2012.12"},{"key":"e_1_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"e_1_2_1_117_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522920.2522924"},{"key":"e_1_2_1_118_1","volume-title":"Proceedings of the 2013 ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement. 113--122","author":"Xue X.","unstructured":"X. Xue and A. S. Namin . 2013. How significant is the effect of fault interactions on coverage-based fault localizations? In Proceedings of the 2013 ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement. 113--122 . X. Xue and A. S. Namin. 2013. How significant is the effect of fault interactions on coverage-based fault localizations? In Proceedings of the 2013 ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement. 113--122."},{"key":"e_1_2_1_119_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33119-0_18"},{"key":"e_1_2_1_120_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368116"},{"key":"e_1_2_1_121_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250782"},{"key":"e_1_2_1_122_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.06.013"},{"key":"e_1_2_1_123_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.09.003"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3241744","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3241744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:08:10Z","timestamp":1750212490000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3241744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,31]]},"references-count":122,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7,31]]}},"alternative-id":["10.1145\/3241744"],"URL":"https:\/\/doi.org\/10.1145\/3241744","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,31]]},"assertion":[{"value":"2017-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-09-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}