{"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":1775175370929,"version":"3.50.1"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T00:00:00Z","timestamp":1649030400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T00:00:00Z","timestamp":1649030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Austrian Science Fund","award":["P 25289-N15"],"award-info":[{"award-number":["P 25289-N15"]}]},{"name":"Province of Upper Austria","award":["COMET-SCCH"],"award-info":[{"award-number":["COMET-SCCH"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2023,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>There are many repair alternatives for resolving model inconsistencies, each involving one or more model changes. Enumerating them all could overwhelm the developer because the number of possible repairs can grow exponentially. To address this problem, this paper focuses on the immediate cause of an inconsistency. By focusing on the cause, we can generate a repair tree with a subset of repair actions focusing on fixing this cause. This strategy identifies model elements that must be repaired, as opposed to additional model elements that may or may not have to be repaired later. Furthermore, our approach can provide an ownership-based filter for filtering repairs that modify model elements not owned by a developer. This filtering can further reduce the repair possibilities, aiding the developer when choosing repairs to be performed. We evaluated our approach on 24 UML models and four Java systems, using 17 UML consistency rules and 14 Java consistency rules. The evaluation data contained 39,683 inconsistencies, showing our approach\u2019s usability as the repair trees sizes ranged from five to nine on average per model. Also, these repair trees were generated in 0.3 seconds on average, showing our approach\u2019s scalability. Based on the results, we discuss the correctness and minimalism with regard to the cause of the inconsistency. Lastly, we evaluated the filtering mechanism, showing that it is possible to further reduce the number of repairs generated by focusing on ownership.<\/jats:p>","DOI":"10.1007\/s10270-022-00996-0","type":"journal-article","created":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T15:02:58Z","timestamp":1649084578000},"page":"297-329","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Generating repairs for inconsistent models"],"prefix":"10.1007","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3096-580X","authenticated-orcid":false,"given":"Luciano","family":"Marchezan","sequence":"first","affiliation":[]},{"given":"Roland","family":"Kretschmer","sequence":"additional","affiliation":[]},{"given":"Wesley K. G.","family":"Assun\u00e7\u00e3o","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Reder","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,4,4]]},"reference":[{"key":"996_CR1","doi-asserted-by":"publisher","unstructured":"Afrati, F.N., Kolaitis, P.G.: Repair checking in inconsistent databases: algorithms and complexity. In: Proceedings of the 12th international conference on database theory, association for computing machinery, New York, NY, USA, ICDT \u201909, pp 31\u201341, (2009). https:\/\/doi.org\/10.1145\/1514894.1514899","DOI":"10.1145\/1514894.1514899"},{"key":"996_CR2","doi-asserted-by":"publisher","unstructured":"Allaki, D., Dahchour, M., En-nouaary, A.: An AHP-based method to fix inconsistencies in UML collaborative modeling. In: 2018 IEEE 5th international congress on information science and technology (CiSt), pp 1\u20135, (2018). https:\/\/doi.org\/10.1109\/CIST.2018.8596468","DOI":"10.1109\/CIST.2018.8596468"},{"key":"996_CR3","doi-asserted-by":"publisher","unstructured":"Almeida da Silva, M., Mougenot, A., Blanc, X., Bendraou, R.: Towards automated inconsistency handling in design models. In: Pernici, B. (Ed.), Advanced information systems engineering, lecture notes in computer science, vol 6051, Springer Berlin \/ Heidelberg, pp 348\u2013362, (2010). https:\/\/doi.org\/10.1007\/978-3-642-13094-6_28","DOI":"10.1007\/978-3-642-13094-6_28"},{"key":"996_CR4","unstructured":"Balzer, R.: Tolerating inconsistency. In: Belady, L., Barstow, D.R., Torii, K. (eds.), ICSE, IEEE Computer Society \/ ACM Press, pp 158\u2013165, (1991). http:\/\/portal.acm.org\/citation.cfm?id=256664.256748"},{"key":"996_CR5","doi-asserted-by":"publisher","unstructured":"Bertossi, L.: Database repairs and consistent query answering: origins and further developments. In: Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on principles of database systems, association for computing machinery, New York, NY, USA, PODS \u201919, pp 48\u201358, (2019). https:\/\/doi.org\/10.1145\/3294052.3322190","DOI":"10.1145\/3294052.3322190"},{"key":"996_CR6","doi-asserted-by":"publisher","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: ICSE \u201908, ACM, New York, NY, USA, pp 511\u2013520, (2008). https:\/\/doi.org\/10.1145\/1368088.1368158","DOI":"10.1145\/1368088.1368158"},{"key":"996_CR7","first-page":"32","volume-title":"Advanced information systems engineering","author":"X Blanc","year":"2009","unstructured":"Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Incremental detection of model inconsistencies based on model operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) Advanced information systems engineering, pp. 32\u201346. Springer, Berlin Heidelberg (2009)"},{"issue":"9","key":"996_CR8","doi-asserted-by":"publisher","first-page":"1459","DOI":"10.1016\/j.jss.2009.03.009","volume":"82","author":"J Cabot","year":"2009","unstructured":"Cabot, J., Teniente, E.: Incremental integrity checking of uml\/ocl conceptual schemas. J. Syst. Softw. 82(9), 1459\u20131478 (2009)","journal-title":"J. Syst. Softw."},{"key":"996_CR9","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/11784180_28","volume-title":"Algebraic methodology and software technology","author":"M Clavel","year":"2006","unstructured":"Clavel, M., Egea, M.: Itp\/ocl: a rewriting-based validation tool for uml+ocl static class diagrams. In: Johnson, M., Vene, V. (eds.) Algebraic methodology and software technology, pp. 368\u2013373. Springer, Berlin Heidelberg (2006)"},{"key":"996_CR10","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: Jarzabek, S., Schmidt, D.C., Veldhuizen, T.L. (Eds.), GPCE, ACM, pp 211\u2013220, (2006). http:\/\/doi.acm.org\/10.1145\/1173706.1173738","DOI":"10.1145\/1173706.1173738"},{"issue":"3","key":"996_CR11","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/s10458-010-9163-0","volume":"23","author":"HK Dam","year":"2011","unstructured":"Dam, H.K., Winikoff, M.: An agent-oriented approach to change propagation in software maintenance. Autonom. Agents Multi-Agent Syst. 23(3), 384\u2013452 (2011). https:\/\/doi.org\/10.1007\/s10458-010-9163-0","journal-title":"Autonom. Agents Multi-Agent Syst."},{"key":"996_CR12","doi-asserted-by":"publisher","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: Proceedings of the 28th international conference on software engineering, association for computing machinery, New York, NY, USA, ICSE \u201906, pp 381\u2013390, (2006). https:\/\/doi.org\/10.1145\/1134285.1134339","DOI":"10.1145\/1134285.1134339"},{"key":"996_CR13","doi-asserted-by":"publisher","unstructured":"Egyed, A.: Fixing inconsistencies in UML design models. In: ICSE \u201907: Proceedings of the 29th international conference on software engineering, IEEE Computer Society, Washington, DC, USA, pp 292\u2013301, (2007). https:\/\/doi.org\/10.1109\/ICSE.2007.38","DOI":"10.1109\/ICSE.2007.38"},{"key":"996_CR14","doi-asserted-by":"publisher","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: ASE, IEEE, pp 99\u2013108, (2008). https:\/\/doi.org\/10.1109\/ASE.2008.20","DOI":"10.1109\/ASE.2008.20"},{"issue":"1","key":"996_CR15","doi-asserted-by":"publisher","first-page":"2655","DOI":"10.1007\/s10270-018-0688-z","volume":"18","author":"E Franconi","year":"2019","unstructured":"Franconi, E., Mosca, A., Oriol, X., Rull, G., Teniente, E.: Oclfo: first-order expressive ocl constraints for efficient integrity checking. Softw. Syst. Model. 18(1), 2655\u20132678 (2019)","journal-title":"Softw. Syst. Model."},{"key":"996_CR16","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Doan, K.H.: Quality improvement of conceptual uml and ocl schemata through model validation and verification, Springer: Cham, pp 155\u2013168. (2017)","DOI":"10.1007\/978-3-319-67271-7_11"},{"key":"996_CR17","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1109\/32.730545","volume":"24","author":"J Grundy","year":"1998","unstructured":"Grundy, J., Hosking, J., Mugridge, W.B.: Inconsistency management for multiple-view software development environments. IEEE Trans. Softw. Eng. 24, 960\u2013981 (1998). https:\/\/doi.org\/10.1109\/32.730545","journal-title":"IEEE Trans. Softw. Eng."},{"key":"996_CR18","doi-asserted-by":"publisher","unstructured":"Gutierrez Brida, S., Regis, G., Zheng, G., Bagheri, H., Nguyen, T., Aguirre, N., Frias, M.: Bounded exhaustive search of alloy specification repairs. In: 2021 IEEE\/ACM 43rd international conference on software engineering (ICSE), pp 1135\u20131147, (2021). https:\/\/doi.org\/10.1109\/ICSE43902.2021.00105","DOI":"10.1109\/ICSE43902.2021.00105"},{"key":"996_CR19","doi-asserted-by":"publisher","unstructured":"Hegedus, A., Horvath, A., Rath, I., Branco, M., Varro, D.: Quick fix generation for DSMLs. In: Visual languages and human-centric computing (VL\/HCC), 2011 IEEE symposium on, pp 17\u201324, (2011). https:\/\/doi.org\/10.1109\/VLHCC.2011.6070373","DOI":"10.1109\/VLHCC.2011.6070373"},{"issue":"2","key":"996_CR20","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"996_CR21","doi-asserted-by":"publisher","unstructured":"Jongeling, R.: How to live with inconsistencies in industrial model-based development practice. In: 2019 ACM\/IEEE 22nd international conference on model driven engineering languages and systems companion (MODELS-C), pp 642\u2013647, (2019). https:\/\/doi.org\/10.1109\/MODELS-C.2019.00098","DOI":"10.1109\/MODELS-C.2019.00098"},{"key":"996_CR22","doi-asserted-by":"publisher","unstructured":"Khelladi, D.E., Kretschmer, R., Egyed, A.: Detecting and exploring side effects when repairing model inconsistencies. In: Proceedings of the 12th ACM SIGPLAN international conference on software language engineering, Association for Computing Machinery, New York, NY, USA, SLE 2019, pp 113\u2013126, (2019). https:\/\/doi.org\/10.1145\/3357766.3359546","DOI":"10.1145\/3357766.3359546"},{"key":"996_CR23","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-61482-3_10","volume-title":"Modelling foundations and applications","author":"H K\u00f6nig","year":"2017","unstructured":"K\u00f6nig, H., Diskin, Z.: Efficient consistency checking of interrelated models. In: Anjorin, A., Espinoza, H. (eds.) Modelling foundations and applications, pp. 161\u2013178. Springer, Cham (2017)"},{"key":"996_CR24","unstructured":"Kowalski, R.: Logic for Problem-solving. Department of Computational Logic-Memo 75 (1974)"},{"key":"996_CR25","doi-asserted-by":"publisher","unstructured":"Kretschmer, R., Khelladi, D.E., Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: From abstract to concrete repairs of model inconsistencies: an automated approach. In: 2017 24th Asia-Pacific software engineering conference (APSEC), pp 456\u2013465, (2017). https:\/\/doi.org\/10.1109\/APSEC.2017.52","DOI":"10.1109\/APSEC.2017.52"},{"key":"996_CR26","doi-asserted-by":"crossref","unstructured":"Kretschmer, R., Khelladi, D.E., Lopez-Herrejon, R.E., Egyed, A.: Consistent change propagation within models. Software & Systems Modeling pp 1\u201317 (2020)","DOI":"10.1007\/s10270-020-00823-4"},{"issue":"2","key":"996_CR27","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1942788.1868303","volume":"46","author":"MP Krieger","year":"2010","unstructured":"Krieger, M.P., Knapp, A., Wolff, B.: Automatic and efficient simulation of operation contracts. SIGPLAN Not 46(2), 53\u201362 (2010). https:\/\/doi.org\/10.1145\/1942788.1868303","journal-title":"SIGPLAN Not"},{"key":"996_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-007-9084-z","volume":"40","author":"MH Liffiton","year":"2008","unstructured":"Liffiton, M.H., Sakallah, K.A.: Algorithms for computing minimal unsatisfiable subsets of constraints. J. Autom. Reason. 40, 1\u201333 (2008)","journal-title":"J. Autom. Reason."},{"issue":"7","key":"996_CR29","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/TSE.2016.2620145","volume":"43","author":"N Macedo","year":"2017","unstructured":"Macedo, N., Jorge, T., Cunha, A.: A feature-based classification of model repair approaches. IEEE Trans. Softw. Eng. 43(7), 615\u2013640 (2017). https:\/\/doi.org\/10.1109\/TSE.2016.2620145","journal-title":"IEEE Trans. Softw. Eng."},{"key":"996_CR30","doi-asserted-by":"publisher","unstructured":"Marchezan, L., Kretschmer, R., Assun\u00e7\u00e3o, W.K.G., Reder, A., Egyed, A.: Generating repairs for inconsistent models. (2021). https:\/\/doi.org\/10.5281\/zenodo.4682913","DOI":"10.5281\/zenodo.4682913"},{"key":"996_CR31","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-10294-3_19","volume-title":"Collaborative software engineering: challenges and prospects","author":"I Mistr\u00edk","year":"2010","unstructured":"Mistr\u00edk, I., Grundy, J., van der Hoek, A., Whitehead, J.: Collaborative software engineering: challenges and prospects, pp. 389\u2013403. Springer, Berlin, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-10294-3_19"},{"issue":"2","key":"996_CR32","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/514183.514186","volume":"2","author":"C Nentwich","year":"2002","unstructured":"Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: a consistency checking and smart link generation service. ACM Trans. Internet Tech. 2(2), 151\u2013185 (2002)","journal-title":"ACM Trans. Internet Tech."},{"key":"996_CR33","doi-asserted-by":"crossref","unstructured":"Nentwich, C., Emmerich, W., Finkelsteiin, A.: Consistency management with repair actions. In: Proceedings of the 25th international conference on software engineering, IEEE Computer Society, Washington, DC, USA, ICSE \u201903, pp 455\u2013464, (2003). http:\/\/dl.acm.org\/citation.cfm?id=776816.776871","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"996_CR34","doi-asserted-by":"publisher","unstructured":"N\u00f6hrer, A., Biere, A., Egyed, A.: Managing SAT inconsistencies with HUMUS. In: Proceedings of the sixth international workshop on variability modeling of software-intensive systems, ACM, New York, NY, USA, VaMoS \u201912, pp 83\u201391, (2012). https:\/\/doi.org\/10.1145\/2110147.2110157, http:\/\/doi.acm.org\/10.1145\/2110147.2110157","DOI":"10.1145\/2110147.2110157"},{"key":"996_CR35","doi-asserted-by":"publisher","unstructured":"Ohrndorf, M., Pietsch, C., Kelter, U., Kehrer, T.: ReVision: A Tool for History-Based Model Repair Recommendations. In: Proceedings of the 40th international conference on software engineering: companion proceeedings, association for computing machinery, New York, NY, USA, ICSE \u201918, pp 105\u2013108, (2018). https:\/\/doi.org\/10.1145\/3183440.3183498","DOI":"10.1145\/3183440.3183498"},{"key":"996_CR36","doi-asserted-by":"publisher","DOI":"10.1145\/3419017","author":"M Ohrndorf","year":"2021","unstructured":"Ohrndorf, M., Pietsch, C., Kelter, U., Grunske, L., Kehrer, T.: History-based model repair recommendations. ACM Trans. Softw. Eng. Methodol. (2021). https:\/\/doi.org\/10.1145\/3419017","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"996_CR37","unstructured":"OMG: OCL Specification. (2014). http:\/\/www.omg.org\/spec\/OCL\/"},{"key":"996_CR38","unstructured":"OMG: UML 2.5.1 Specification. (2017). https:\/\/www.omg.org\/spec\/UML\/"},{"key":"996_CR39","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.datak.2015.06.006","volume":"99","author":"X Oriol","year":"2015","unstructured":"Oriol, X., Teniente, E., Tort, A.: Computing repairs for constraint violations in uml\/ocl conceptual schemas. Data Knowl. Eng. 99, 39\u201358 (2015). https:\/\/doi.org\/10.1016\/j.datak.2015.06.006","journal-title":"Data Knowl. Eng."},{"key":"996_CR40","unstructured":"Puissant, J.P., Mens, T., Straeten, R.V.D.: Resolving model inconsistencies with automated planning. In: Proceedings of the 3rd workshop on living with inconsistencies in software development., CEUR Workshop Proceedings, pp 8\u201314 (2010)"},{"issue":"1","key":"996_CR41","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/s10270-013-0317-9","volume":"14","author":"JP Puissant","year":"2015","unstructured":"Puissant, J.P., Van Der Straeten, R., Mens, T.: Resolving model inconsistencies using automated regression planning. Softw. Syst. Model. 14(1), 461\u2013481 (2015)","journal-title":"Softw. Syst. Model."},{"key":"996_CR42","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Computing repair trees for resolving inconsistencies in design models. In: Goedicke, M., Menzies, T., Saeki, M. (eds.), ASE, ACM, pp 220\u2013229, (2012). http:\/\/doi.acm.org\/10.1145\/2351676.2351707","DOI":"10.1145\/2351676.2351707"},{"key":"996_CR43","doi-asserted-by":"publisher","unstructured":"Reder, A., Egyed, A.: Incremental Consistency checking for complex design rules and larger model changes. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.), MoDELS, Springer, Lecture Notes in Computer Science, vol 7590, pp 202\u2013218, (2012). https:\/\/doi.org\/10.1007\/978-3-642-33666-9_14","DOI":"10.1007\/978-3-642-33666-9_14"},{"key":"996_CR44","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Determining the cause of a design model inconsistency. Transaction on Software Engineering (TSE) (2013)","DOI":"10.1109\/TSE.2013.30"},{"issue":"2","key":"996_CR45","doi-asserted-by":"publisher","first-page":"953","DOI":"10.1007\/s10270-013-0350-8","volume":"14","author":"G Rull","year":"2015","unstructured":"Rull, G., Farr\u00e9, C., Queralt, A., Teniente, E., Urp\u00ed, T.: Aurus: explaining the validation of uml\/ocl conceptual schemas. Softw. Syst. Model. 14(2), 953\u2013980 (2015)","journal-title":"Softw. Syst. Model."},{"key":"996_CR46","doi-asserted-by":"crossref","unstructured":"Scheffczyk, J., R\u00f6dig, P., Borghoff, U., Schmitz, L.: Managing inconsistent repositories via prioritized repairs. In: Munson, E. V., Vion-Dury, J. Y. (eds) ACM symposium on document engineering, ACM, pp 137\u2013146, (2004). http:\/\/doi.acm.org\/10.1145\/1030397.1030426","DOI":"10.1145\/1030397.1030426"},{"key":"996_CR47","doi-asserted-by":"crossref","unstructured":"Scheffczyk, J., R\u00f6dig, U., Schmitz, L.: S-dags: Towards efficient document repair generation. In: Proc. 2nd Int. Conf. on Computing, Communications and Control Technologies, Citeseer, vol 2, pp 308\u2013313 (2004)","DOI":"10.1145\/1030397.1030426"},{"key":"996_CR48","doi-asserted-by":"publisher","unstructured":"Straeten, R.V.D., D\u2019Hondt, M.: Model refactorings through rule-based inconsistency resolution. In: SAC \u201906: proceedings of the 2006 ACM symposium on Applied computing, ACM, New York, NY, USA, pp 1210\u20131217, (2006). https:\/\/doi.org\/10.1145\/1141277.1141564","DOI":"10.1145\/1141277.1141564"},{"key":"996_CR49","doi-asserted-by":"crossref","unstructured":"Torres, W., Van den Brand, M.G., Serebrenik, A.: A systematic literature review of cross-domain model consistency checking by model management tools. Software & Systems Modeling pp 1\u201320 (2020)","DOI":"10.1007\/s10270-020-00834-1"},{"key":"996_CR50","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"MH Van Emden","year":"1976","unstructured":"Van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J ACM 23, 733\u2013742 (1976)","journal-title":"J ACM"},{"key":"996_CR51","doi-asserted-by":"publisher","unstructured":"Wang, K., Sullivan, A., Khurshid, S.: Automated model repair for alloy. In: 2018 33rd IEEE\/ACM international conference on automated software engineering (ASE), pp 577\u2013588, (2018). https:\/\/doi.org\/10.1145\/3238147.3238162","DOI":"10.1145\/3238147.3238162"},{"key":"996_CR52","doi-asserted-by":"publisher","unstructured":"Wang, K., Sullivan, A., Khurshid, S.: Arepair: A repair framework for alloy. In: 2019 IEEE\/ACM 41st international conference on software engineering: companion proceedings (ICSE-Companion), pp 103\u2013106, (2019). https:\/\/doi.org\/10.1109\/ICSE-Companion.2019.00049","DOI":"10.1109\/ICSE-Companion.2019.00049"},{"key":"996_CR53","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., Wessl\u00e9n, A.: Experimentation in software engineering. Springer, New York (2012)"},{"key":"996_CR54","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: ESEC\/SIGSOFT FSE, pp 315\u2013324, (2009). http:\/\/doi.acm.org\/10.1145\/1595696.1595757","DOI":"10.1145\/1595696.1595757"},{"key":"996_CR55","doi-asserted-by":"crossref","unstructured":"Xu, C., Cheung, S.C., Chan, W.K.: Incremental consistency checking for pervasive context. In: ICSE, pp 292\u2013301, (2006). http:\/\/doi.acm.org\/10.1145\/1134327","DOI":"10.1145\/1134285.1134327"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-00996-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-022-00996-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-00996-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,21]],"date-time":"2024-09-21T15:21:29Z","timestamp":1726932089000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-022-00996-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,4]]},"references-count":55,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["996"],"URL":"https:\/\/doi.org\/10.1007\/s10270-022-00996-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,4,4]]},"assertion":[{"value":"23 April 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 December 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 March 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 April 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}