{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T00:16:10Z","timestamp":1775175370909,"version":"3.50.1"},"reference-count":94,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2021,1,3]],"date-time":"2021-01-03T00:00:00Z","timestamp":1609632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"DFG","award":["SPP1593"],"award-info":[{"award-number":["SPP1593"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2021,4,30]]},"abstract":"<jats:p>Models in Model-driven Engineering are primary development artifacts that are heavily edited in all stages of software development and that can become temporarily inconsistent during editing. In general, there are many alternatives to resolve an inconsistency, and which one is the most suitable depends on a variety of factors. As also proposed by recent approaches to model repair, it is reasonable to leave the actual choice and approval of a repair alternative to the discretion of the developer. Model repair tools can support developers by proposing a list of the most promising repairs. Such repair recommendations will be only accepted in practice if the generated proposals are plausible and understandable, and if the set as a whole is manageable. Current approaches, which mostly focus on exhaustive search strategies, exploring all possible model repairs without considering the intention of historic changes, fail in meeting these requirements.<\/jats:p>\n          <jats:p>\n            In this article, we present a new approach to generate repair proposals that aims at inconsistencies that have been introduced by past incomplete edit steps that can be located in the version history of a model. Such an incomplete edit step is either undone or it is extended to a full execution of a consistency-preserving edit operation. The history-based analysis of inconsistencies as well as the generation of repair recommendations are fully automated, and all interactive selection steps are supported by our repair tool called R\n            <jats:sc>E<\/jats:sc>\n            V\n            <jats:sc>ISION<\/jats:sc>\n            . We evaluate our approach using histories of real-world models obtained from popular open-source modeling projects hosted in the Eclipse Git repository, including the evolution of the entire UML meta-model. Our experimental results confirm our hypothesis that most of the inconsistencies, namely, 93.4, can be resolved by complementing incomplete edits. 92.6% of the generated repair proposals are relevant in the sense that their effect can be observed in the models\u2019 histories. 94.9% of the relevant repair proposals are ranked at the topmost position.\n          <\/jats:p>","DOI":"10.1145\/3419017","type":"journal-article","created":{"date-parts":[[2021,1,3]],"date-time":"2021-01-03T11:09:08Z","timestamp":1609672148000},"page":"1-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["History-based Model Repair Recommendations"],"prefix":"10.1145","volume":"30","author":[{"given":"Manuel","family":"Ohrndorf","sequence":"first","affiliation":[{"name":"Universit\u00e4t Siegen, Germany"}]},{"given":"Christopher","family":"Pietsch","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Siegen, Germany"}]},{"given":"Udo","family":"Kelter","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Siegen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8747-3745","authenticated-orcid":false,"given":"Lars","family":"Grunske","sequence":"additional","affiliation":[{"name":"Humboldt-Universit\u00e4t zu Berlin, Germany"}]},{"given":"Timo","family":"Kehrer","sequence":"additional","affiliation":[{"name":"Humboldt-Universit\u00e4t zu Berlin, Germany"}]}],"member":"320","published-online":{"date-parts":[[2021,1,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Manuel Ohrndorf Christopher Pietsch Udo Kelter Lars Grunske and Timo Kehrer. 2019. ReVision. https:\/\/repairvision.github.io\/.  Manuel Ohrndorf Christopher Pietsch Udo Kelter Lars Grunske and Timo Kehrer. 2019. ReVision. https:\/\/repairvision.github.io\/.","DOI":"10.1145\/3183440.3183498"},{"key":"e_1_2_1_2_1","volume-title":"et\u00a0al","author":"Alanen Marcus","year":"2004","unstructured":"Marcus Alanen , Ivan Porres , et\u00a0al . 2004 . A Relation between Context-free Grammars and Meta Object Facility Metamodels. Citeseer . Marcus Alanen, Ivan Porres, et\u00a0al. 2004. A Relation between Context-free Grammars and Meta Object Facility Metamodels. Citeseer."},{"key":"e_1_2_1_3_1","volume-title":"Checking and enforcement of modeling guidelines with graph transformations. Applications of Graph Transformations with Industrial Relevance","author":"Amelunxen Carsten","unstructured":"Carsten Amelunxen , Elodie Legros , Andy Sch\u00fcrr , and Ingo St\u00fcrmer . 2008. Checking and enforcement of modeling guidelines with graph transformations. Applications of Graph Transformations with Industrial Relevance . Springer , 313--328. Carsten Amelunxen, Elodie Legros, Andy Sch\u00fcrr, and Ingo St\u00fcrmer. 2008. Checking and enforcement of modeling guidelines with graph transformations. Applications of Graph Transformations with Industrial Relevance. Springer, 313--328."},{"key":"e_1_2_1_4_1","volume-title":"Henshin: Advanced concepts and tools for in-place EMF model transformations. Model Driven Engineering Languages and Systems","author":"Arendt Thorsten","year":"2010","unstructured":"Thorsten Arendt , Enrico Biermann , Stefan Jurack , Christian Krause , and Gabriele Taentzer . 2010 . Henshin: Advanced concepts and tools for in-place EMF model transformations. Model Driven Engineering Languages and Systems . Springer , 121--135. Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, and Gabriele Taentzer. 2010. Henshin: Advanced concepts and tools for in-place EMF model transformations. Model Driven Engineering Languages and Systems. Springer, 121--135."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-012-0114-7"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 13th International Conference on Software Engineering. IEEE Computer Society Press, 158--165","author":"Balzer Robert","year":"1991","unstructured":"Robert Balzer . 1991 . Tolerating inconsistency . In Proceedings of the 13th International Conference on Software Engineering. IEEE Computer Society Press, 158--165 . Robert Balzer. 1991. Tolerating inconsistency. In Proceedings of the 13th International Conference on Software Engineering. IEEE Computer Society Press, 158--165."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the International Workshop on Analytics and Mining of Model Repositories.","author":"Barriga Angela","year":"2018","unstructured":"Angela Barriga , Adrian Rutle , and Rogardt Heldal . 2018 . Automatic model repair using reinforcement learning . In Proceedings of the International Workshop on Analytics and Mining of Model Repositories. Angela Barriga, Adrian Rutle, and Rogardt Heldal. 2018. Automatic model repair using reinforcement learning. In Proceedings of the International Workshop on Analytics and Mining of Model Repositories."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_30"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0199-7"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368158"},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Marco Brambilla Jordi Cabot and Manuel Wimmer. 2012. Model-driven Software Engineering in Practice. Morgan 8 Claypool Publishers.  Marco Brambilla Jordi Cabot and Manuel Wimmer. 2012. Model-driven Software Engineering in Practice. Morgan 8 Claypool Publishers.","DOI":"10.1007\/978-3-031-02546-4"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2014.31"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1996.0004"},{"key":"e_1_2_1_14_1","unstructured":"Eclipse Foundation. 2019. Eclipse Git repositories. Retrieved from https:\/\/git.eclipse.org\/c\/.  Eclipse Foundation. 2019. Eclipse Git repositories. Retrieved from https:\/\/git.eclipse.org\/c\/."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134339"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.38"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.20"},{"key":"e_1_2_1_18_1","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"Ehrig Hartmut","unstructured":"Hartmut Ehrig , Karsten Ehrig , Ulrike Prange , and Gabriele Taentzer . 2006. Fundamentals of Algebraic Graph Transformation . Springer . Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and Gabriele Taentzer. 2006. Fundamentals of Algebraic Graph Transformation. Springer."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2008.22"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2013.12.007"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90002-F"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16722-6_7"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the Workshop on Models and Evolution and ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems. 12--21","author":"Getir Sinem","year":"2014","unstructured":"Sinem Getir , Michaela Rindt , and Timo Kehrer . 2014 . A generic framework for analyzing model co-evolution . In Proceedings of the Workshop on Models and Evolution and ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems. 12--21 . Sinem Getir, Michaela Rindt, and Timo Kehrer. 2014. A generic framework for analyzing model co-evolution. In Proceedings of the Workshop on Models and Evolution and ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems. 12--21."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0089-9"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1999.777989"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.730545"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976778"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2011.6070373"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0450-0"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.110441"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239384"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61473-1_7"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2012.6405342"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351731"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2648623"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100050"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693079"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the International Workshop on Models and Evolution (CEUR Workshop Proceedings)","volume":"1090","author":"Kehrer Timo","year":"2013","unstructured":"Timo Kehrer , Michaela Rindt , Pit Pietsch , and Udo Kelter . 2013 . Generating edit operations for profiled UML models . In Proceedings of the International Workshop on Models and Evolution (CEUR Workshop Proceedings) , Vol. 1090 . 30--39. Timo Kehrer, Michaela Rindt, Pit Pietsch, and Udo Kelter. 2013. Generating edit operations for profiled UML models. In Proceedings of the International Workshop on Models and Evolution (CEUR Workshop Proceedings), Vol. 1090. 30--39."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42064-6_12"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13595-8_15"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.23"},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the ICSE Workshop on Comparison and Versioning of Software Models (CVSM\u201909)","author":"Kolovos Dimitrios S.","unstructured":"Dimitrios S. Kolovos , Davide Di Ruscio , Alfonso Pierantonio , and Richard F. Paige . 2009. Different models for model matching: An analysis of approaches to support model differencing . In Proceedings of the ICSE Workshop on Comparison and Versioning of Software Models (CVSM\u201909) . IEEE, 1--6. Dimitrios S. Kolovos, Davide Di Ruscio, Alfonso Pierantonio, and Richard F. Paige. 2009. Different models for model matching: An analysis of approaches to support model differencing. In Proceedings of the ICSE Workshop on Comparison and Versioning of Software Models (CVSM\u201909). IEEE, 1--6."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2017.52"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.76"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9208-0"},{"key":"e_1_2_1_49_1","unstructured":"Henry Lieberman. 2001. Your Wish Is My Command: Programming by Example. Morgan Kaufmann.  Henry Lieberman. 2001. Your Wish Is My Command: Programming by Example. Morgan Kaufmann."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693135"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2620145"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591114"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180247"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_2_1_55_1","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"Mens Tom","unstructured":"Tom Mens . 2006. On the use of graph transformations for model refactoring . In Generative and Transformational Techniques in Software Engineering . Springer , 219--257. Tom Mens. 2006. On the use of graph transformations for model refactoring. In Generative and Transformational Techniques in Software Engineering. Springer, 219--257."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_15"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568324"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61473-1_12"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"e_1_2_1_60_1","volume-title":"Proceedings of the International Conference on Software Engineering (ICSE\u201913)","author":"Thien Nguyen Hoang Duong","year":"2013","unstructured":"Hoang Duong Thien Nguyen , Dawei Qi , Abhik Roychoudhury , and Satish Chandra . 2013 . SemFix: Program repair via semantic analysis . In Proceedings of the International Conference on Software Engineering (ICSE\u201913) . IEEE Press, Piscataway, NJ, 772--781. Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013. SemFix: Program repair via semantic analysis. In Proceedings of the International Conference on Software Engineering (ICSE\u201913). IEEE Press, Piscataway, NJ, 772--781."},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.839317"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183498"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.62"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155677"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0317-9"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859069"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351707"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_14"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.30"},{"key":"e_1_2_1_70_1","volume-title":"Proceedings of the Demonstrations Track of the ACM\/IEEE 17th International Conference on Model Driven Engineering Languages and Systems.","author":"Rindt Michaela","year":"2014","unstructured":"Michaela Rindt , Timo Kehrer , and Udo Kelter . 2014 . Automatic generation of consistency-preserving edit operations for MDE tools . In Proceedings of the Demonstrations Track of the ACM\/IEEE 17th International Conference on Model Driven Engineering Languages and Systems. Michaela Rindt, Timo Kehrer, and Udo Kelter. 2014. Automatic generation of consistency-preserving edit operations for MDE tools. In Proceedings of the Demonstrations Track of the ACM\/IEEE 17th International Conference on Model Driven Engineering Languages and Systems."},{"key":"e_1_2_1_71_1","volume-title":"Proceedings of the International Workshop on Theory and Application of Graph Transformations. Springer, 238--251","author":"Rudolf Michael","year":"1998","unstructured":"Michael Rudolf . 1998 . Utilizing constraint satisfaction techniques for efficient graph pattern matching . In Proceedings of the International Workshop on Theory and Application of Graph Transformations. Springer, 238--251 . Michael Rudolf. 1998. Utilizing constraint satisfaction techniques for efficient graph pattern matching. In Proceedings of the International Workshop on Theory and Application of Graph Transformations. Springer, 238--251."},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVSM.2009.5071716"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16722-6_9"},{"key":"e_1_2_1_74_1","article-title":"Comparison of graph-based model transformation rules","volume":"19","author":"Schulthei\u00df Alexander","year":"2020","unstructured":"Alexander Schulthei\u00df , Alexander Boll , and Timo Kehrer . 2020 . Comparison of graph-based model transformation rules . J. Obj. Technol. 19 , 2 (2020). Alexander Schulthei\u00df, Alexander Boll, and Timo Kehrer. 2020. Comparison of graph-based model transformation rules. J. Obj. Technol. 19, 2 (2020).","journal-title":"J. Obj. Technol."},{"key":"e_1_2_1_75_1","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"Sch\u00fcrr Andy","unstructured":"Andy Sch\u00fcrr . 1995. Specification of graph translators with triple graph grammars . In Graph-Theoretic Concepts in Computer Science . Springer , 151--163. Andy Sch\u00fcrr. 1995. Specification of graph translators with triple graph grammars. In Graph-Theoretic Concepts in Computer Science. Springer, 151--163."},{"key":"e_1_2_1_76_1","volume-title":"Recommender Systems Handbook","author":"Shani Guy","unstructured":"Guy Shani and Asela Gunawardana . 2011. Evaluating recommendation systems . In Recommender Systems Handbook . Springer , 257--297. Guy Shani and Asela Gunawardana. 2011. Evaluating recommendation systems. In Recommender Systems Handbook. Springer, 257--297."},{"key":"e_1_2_1_77_1","doi-asserted-by":"crossref","unstructured":"George Spanoudakis and Andrea Zisman. 2001. Inconsistency management in software engineering: Survey and open research issues. In Handbook of Software Engineering and Knowledge Engineering: Volume I: Fundamentals. World Scientific 329--380.  George Spanoudakis and Andrea Zisman. 2001. Inconsistency management in software engineering: Survey and open research issues. In Handbook of Software Engineering and Knowledge Engineering: Volume I: Fundamentals. World Scientific 329--380.","DOI":"10.1142\/9789812389718_0015"},{"key":"e_1_2_1_78_1","volume-title":"Merks, and Marcelo Paternostro","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg , Frank Budinsky , Ed Merks, and Marcelo Paternostro . 2008 . EMF : Eclipse Modeling Framework. Pearson Education . Dave Steinberg, Frank Budinsky, Ed Merks, and Marcelo Paternostro. 2008. EMF: Eclipse Modeling Framework. Pearson Education."},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61470-0_12"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/2432497.2432506"},{"key":"e_1_2_1_81_1","volume-title":"Generating domain-specific model editors","author":"Taentzer Gabriele","unstructured":"Gabriele Taentzer , Andr\u00e9 Crema , Ren\u00e9 Schmutzler , and Claudia Ermel . 2008. Generating domain-specific model editors with complex editing commands. In Applications of Graph Transformations with Industrial Relevance. Springer , 98--103. Gabriele Taentzer, Andr\u00e9 Crema, Ren\u00e9 Schmutzler, and Claudia Ermel. 2008. Generating domain-specific model editors with complex editing commands. In Applications of Graph Transformations with Industrial Relevance. Springer, 98--103."},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_16"},{"key":"e_1_2_1_83_1","unstructured":"Matthias Tichy Christian Krause and Grischa Liebel. 2013. Detecting performance bad smells for Henshin model transformations.Proceedings of the AMT@MODELS Conference. 1077.  Matthias Tichy Christian Krause and Grischa Liebel. 2013. Detecting performance bad smells for Henshin model transformations.Proceedings of the AMT@MODELS Conference. 1077."},{"key":"e_1_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141564"},{"key":"e_1_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45221-8_28"},{"key":"e_1_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21470-7_6"},{"key":"e_1_2_1_87_1","volume-title":"Kleppe","author":"Warmer Jos B.","year":"1998","unstructured":"Jos B. Warmer and Anneke G . Kleppe . 1998 . The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Longman Publishing Co. , Inc. Jos B. Warmer and Anneke G. Kleppe. 1998. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Longman Publishing Co., Inc."},{"key":"e_1_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0311-7"},{"key":"e_1_2_1_91_1","volume-title":"Proceedings of the International Conference on Model Driven Engineering Languages and Systems. Springer, 159--168","author":"Wimmer Manuel","year":"2005","unstructured":"Manuel Wimmer and Gerhard Kramler . 2005 . Bridging grammarware and modelware . In Proceedings of the International Conference on Model Driven Engineering Languages and Systems. Springer, 159--168 . Manuel Wimmer and Gerhard Kramler. 2005. Bridging grammarware and modelware. In Proceedings of the International Conference on Model Driven Engineering Languages and Systems. Springer, 159--168."},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2118751"},{"key":"e_1_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.65"},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595757"},{"key":"e_1_2_1_96_1","volume-title":"Why Programs Fail: A Guide to Systematic Debugging","author":"Zeller Andreas","unstructured":"Andreas Zeller . 2009. Why Programs Fail: A Guide to Systematic Debugging . Elsevier . Andreas Zeller. 2009. Why Programs Fail: A Guide to Systematic Debugging. Elsevier."},{"key":"e_1_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/1282480.1282482"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419017","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3419017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:32:05Z","timestamp":1750195925000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419017"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,3]]},"references-count":94,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4,30]]}},"alternative-id":["10.1145\/3419017"],"URL":"https:\/\/doi.org\/10.1145\/3419017","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,3]]},"assertion":[{"value":"2019-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-01-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}