{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:44:22Z","timestamp":1755999862827,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Austrian Science Fund (FWF)","award":["P 25513-N15"],"award-info":[{"award-number":["P 25513-N15"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3183440.3194979","type":"proceedings-article","created":{"date-parts":[[2018,6,18]],"date-time":"2018-06-18T12:28:18Z","timestamp":1529324898000},"page":"298-299","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["An automated and instant discovery of concrete repairs for model inconsistencies"],"prefix":"10.1145","author":[{"given":"Roland","family":"Kretschmer","sequence":"first","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Djamel Eddine","family":"Khelladi","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2016.50"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"Alexander Egyed Emmanuel Letier and Anthony Finkelstein. 2008. Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. In ASE. 99--108. 10.1109\/ASE.2008.20","DOI":"10.1109\/ASE.2008.20"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.85"},{"key":"e_1_3_2_1_4_1","volume-title":"Mois\u00e9s Castelo Branco, and D\u00e1niel Varr\u00f3","author":"Heged\u00fcs \u00c1bel","year":"2011","unstructured":"\u00c1bel Heged\u00fcs, \u00c1kos Horv\u00e1th, Istv\u00e1n R\u00e1th, Mois\u00e9s Castelo Branco, and D\u00e1niel Varr\u00f3. 2011. Quick fix generation for DSMLs. In VL\/HCC. 17--24."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985858"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_7_1","volume-title":"Djamel Eddine Khelladi, and Alexander Egyed","author":"Kretschmer Roland","year":"2017","unstructured":"Roland Kretschmer, Djamel Eddine Khelladi, and Alexander Egyed. 2017. From Abstract to Concrete Repairs of Model Inconsistencies: an Automated Approach. APSEC (2017)."},{"volume-title":"Model-Driven Engineering Languages and Systems","author":"Liebel Grischa","key":"e_1_3_2_1_8_1","unstructured":"Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, and J\u00f6rgen Hansson. 2014. Assessing the state-of-practice of model-based engineering in the embedded systems domain. In Model-Driven Engineering Languages and Systems. Springer, 166--182."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_15"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","unstructured":"Christian Nentwich Wolfgang Emmerich and Anthony Finkelstein. 2001. Static Consistency Checking for Distributed Specifications. In ASE. 115.","DOI":"10.5555\/872023.872540"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","unstructured":"Christian Nentwich Wolfgang Emmerich and Anthony Finkelstein. 2003. Consistency Management with Repair Actions. In ICSE. 455--464. http:\/\/computer.org\/proceedings\/icse\/1877\/18770455abs.htm","DOI":"10.5555\/776816.776871"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","unstructured":"Alexander Reder and Alexander Egyed. 2012. Incremental Consistency Checking for Complex Design Rules and Larger Model Changes. In MODELS. 202--218. 10.1007\/978-3-642-33666-9_14","DOI":"10.1007\/978-3-642-33666-9_14"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.30"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.65"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","unstructured":"Yingfei Xiong Zhenjiang Hu Haiyan Zhao Hui Song Masato Takeichi and Hong Mei. 2009. Supporting automatic model inconsistency fixing. In ESEC FSE. 315--324. 10.1145\/1595696.1595757","DOI":"10.1145\/1595696.1595757"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183440.3194979","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3183440.3194979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:07Z","timestamp":1750208887000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183440.3194979"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":15,"alternative-id":["10.1145\/3183440.3194979","10.1145\/3183440"],"URL":"https:\/\/doi.org\/10.1145\/3183440.3194979","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}