{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T03:01:36Z","timestamp":1784430096787,"version":"3.55.0"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T00:00:00Z","timestamp":1598313600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T00:00:00Z","timestamp":1598313600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund FWF","doi-asserted-by":"crossref","award":["LIT-2016-2-SEE-019"],"award-info":[{"award-number":["LIT-2016-2-SEE-019"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund FWF","doi-asserted-by":"crossref","award":["P 31989"],"award-info":[{"award-number":["P 31989"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Developers change models with clear intentions\u2014e.g., for refactoring, defects removal, or evolution. However, in doing so, developers are often unaware of the consequences of their changes. Changes to one part of a model may affect other parts of the same model and\/or even other models, possibly created and maintained by other developers. The consequences are incomplete changes and with it inconsistencies within or across models. Extensive works exist on detecting and repairing inconsistencies. However, the literature tends to focus on inconsistencies as errors in need of repairs rather than on incomplete changes in need of further propagation. Many changes are non-trivial and require a series of coordinated model changes. As developers start changing the model, intermittent inconsistencies arise with other parts of the model that developers have not yet changed. These inconsistencies are cues for incomplete change propagation. Resolving these inconsistencies should be done in a manner that is consistent with the original changes. We speak of consistent change propagation. This paper leverages classical inconsistency repair mechanisms to explore the vast search space of change propagation. Our approach not only suggests changes to repair a given inconsistency but also changes to repair inconsistencies caused by the aforementioned repair. In doing so, our approach follows the developer\u2019s intent where subsequent changes may not contradict or backtrack earlier changes. We argue that consistent change propagation is essential for effective model-driven engineering. Our approach and its tool implementation were empirically assessed on 18 case studies from industry, academia, and GitHub to demonstrate its feasibility and scalability. A comparison with two versioned models shows that our approach identifies actual repair sequences that developers had chosen. Furthermore, an experiment involving 22 participants shows that our change propagation approach meets the workflow of how developers handle changes by always computing the sequence of repairs resulting from the change propagation.<\/jats:p>","DOI":"10.1007\/s10270-020-00823-4","type":"journal-article","created":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T05:02:33Z","timestamp":1598331753000},"page":"539-555","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Consistent change propagation within models"],"prefix":"10.1007","volume":"20","author":[{"given":"Roland","family":"Kretschmer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Djamel Eddine","family":"Khelladi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto Erick","family":"Lopez-Herrejon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,8,25]]},"reference":[{"issue":"3","key":"823_CR1","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jss.2005.05.001","volume":"79","author":"LC Briand","year":"2006","unstructured":"Briand, L.C., Labiche, Y., O\u2019Sullivan, L., S\u00f3wka, M.M.: Automated impact analysis of UML models. J. Syst. Softw. 79(3), 339\u2013352 (2006)","journal-title":"J. Syst. Softw."},{"key":"823_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jss.2014.03.023","volume":"93","author":"J Cabot","year":"2014","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: On the verification of UML\/OCL class diagrams using constraint programming. J. Syst. Softw. 93, 1\u201323 (2014)","journal-title":"J. Syst. Softw."},{"key":"823_CR3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2940179","author":"Z Chen","year":"2019","unstructured":"Chen, Z., Kommrusch, S.J., Tufano, M., Pouchet, L.N., Poshyvanyk, D., Monperrus, M.: Sequencer: sequence-to-sequence learning for end-to-end program repair. IEEE Trans. Softw. Eng. (2019). https:\/\/doi.org\/10.1109\/TSE.2019.2940179","journal-title":"IEEE Trans. Softw. Eng."},{"key":"823_CR4","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, 779\u2013813 (2018)","journal-title":"Softw. Syst. Model."},{"key":"823_CR5","doi-asserted-by":"crossref","unstructured":"Demuth, A., Kretschmer, R., Egyed, A., Maes, D.: Introducing traceability and consistency checking for change impact analysis across engineering tools in an automation solution company: an experience report. In: 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 529\u2013538. IEEE (2016)","DOI":"10.1109\/ICSME.2016.50"},{"key":"823_CR6","doi-asserted-by":"publisher","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20\u201328, 2006, pp. 381\u2013390 (2006). https:\/\/doi.org\/10.1145\/1134339","DOI":"10.1145\/1134339"},{"key":"823_CR7","doi-asserted-by":"crossref","unstructured":"Eramo, R., Pierantonio, A., Rosa, G.: Uncertainty in bidirectional transformations. In: Proceedings of the 6th International Workshop on Modeling in Software Engineering, pp. 37\u201342. ACM (2014)","DOI":"10.1145\/2593770.2593772"},{"key":"823_CR8","doi-asserted-by":"crossref","unstructured":"Eramo, R., Rosa, G., Pierantonio, A.: Managing uncertainty in bidirectional model transformations. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp. 49\u201358. ACM (2015)","DOI":"10.1145\/2814251.2814259"},{"issue":"7","key":"823_CR9","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/TSE.2005.85","volume":"31","author":"WB Frakes","year":"2005","unstructured":"Frakes, W.B., Kang, K.: Software reuse research: status and future. IEEE Trans. Softw. Eng. 31(7), 529\u2013536 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"823_CR10","doi-asserted-by":"crossref","unstructured":"Ghanbari, A., Benton, S., Zhang, L.: Practical program repair via bytecode mutation. In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 19\u201330 (2019)","DOI":"10.1145\/3293882.3330559"},{"key":"823_CR11","first-page":"173","volume-title":"The Quest for Open Source Projects That Use UML: Mining GitHub","author":"R Hebig","year":"2016","unstructured":"Hebig, R., Quang, T.H., Chaudron, M.R., Robles, G., Fernandez, M.A.: The Quest for Open Source Projects That Use UML: Mining GitHub, pp. 173\u2013183. ACM, New York (2016)"},{"issue":"5","key":"823_CR12","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1109\/TSE.2016.2610424","volume":"43","author":"R Hebig","year":"2017","unstructured":"Hebig, R., Khelladi, D.E., Bendraou, R.: Approaches to co-evolution of metamodels and models: a survey. IEEE Trans. Softw. Eng. 43(5), 396\u2013414 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"823_CR13","doi-asserted-by":"publisher","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Branco, M.C., Varr\u00f3, D.: Quick fix generation for dsmls. In: VL\/HCC, pp. 17\u201324 (2011). https:\/\/doi.org\/10.1109\/VLHCC.2011.6070373","DOI":"10.1109\/VLHCC.2011.6070373"},{"issue":"3","key":"823_CR14","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10515-014-0163-1","volume":"22","author":"\u00c1 Heged\u00fcs","year":"2015","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., Varr\u00f3, D.: A model-driven framework for guided design space exploration. Autom. Softw. Eng. 22(3), 399\u2013436 (2015). https:\/\/doi.org\/10.1007\/s10515-014-0163-1","journal-title":"Autom. Softw. Eng."},{"issue":"2","key":"823_CR15","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). https:\/\/doi.org\/10.1145\/505145.505149","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"823_CR16","doi-asserted-by":"crossref","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. IEEE (2019)","DOI":"10.1109\/MODELS-C.2019.00098"},{"key":"823_CR17","doi-asserted-by":"crossref","unstructured":"Jongeling, R., Ciccozzi, F., Cicchetti, A., Carlson, J.: Lightweight consistency checking for agile model-based development in practice. In: 15th European Conference on Modelling Foundations and Applications (ECMFA) (2019)","DOI":"10.5381\/jot.2019.18.2.a11"},{"key":"823_CR18","doi-asserted-by":"crossref","unstructured":"Kessentini, W., Sahraoui, H., Wimmer, M.: Automated metamodel\/model co-evolution using a multi-objective optimization approach. In: European Conference on Modelling Foundations and Applications, pp. 138\u2013155. Springer (2016)","DOI":"10.1007\/978-3-319-42061-5_9"},{"key":"823_CR19","doi-asserted-by":"crossref","unstructured":"Khelladi, D.E., Bendraou, R., Baarir, S., Laurent, Y., Gervais, M.P.: A framework to formally verify conformance of a software process to a software method. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, pp. 1518\u20131525. ACM (2015)","DOI":"10.1145\/2695664.2695789"},{"key":"823_CR20","doi-asserted-by":"crossref","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, pp. 113\u2013126 (2019)","DOI":"10.1145\/3357766.3359546"},{"key":"823_CR21","doi-asserted-by":"crossref","unstructured":"K\u00f6nig, H., Diskin, Z.: Efficient consistency checking of interrelated models. In: European Conference on Modelling Foundations and Applications, pp. 161\u2013178. Springer (2017)","DOI":"10.1007\/978-3-319-61482-3_10"},{"key":"823_CR22","doi-asserted-by":"publisher","first-page":"1980","DOI":"10.1007\/s10664-019-09780-z","volume":"25","author":"A Koyuncu","year":"2020","unstructured":"Koyuncu, A., Liu, K., Bissyand\u00e9, T.F., Kim, D., Klein, J., Monperrus, M., Le Traon, Y.: Fixminer: mining relevant fix patterns for automated program repair. Empir. Softw. Eng. 25, 1980\u20132024 (2020)","journal-title":"Empir. Softw. Eng."},{"key":"823_CR23","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1109\/APSEC.2017.52","volume":"2017","author":"R Kretschmer","year":"2017","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. APSEC 2017, 456\u2013465 (2017). https:\/\/doi.org\/10.1109\/APSEC.2017.52","journal-title":"APSEC"},{"key":"823_CR24","doi-asserted-by":"crossref","unstructured":"Le, X.B.D., Lo, D., Le\u00a0Goues, C.: History driven program repair. In: 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), vol. 1, pp. 213\u2013224. IEEE (2016)","DOI":"10.1109\/SANER.2016.76"},{"key":"823_CR25","doi-asserted-by":"crossref","unstructured":"Liu, X., Zhong, H.: Mining stackoverflow for program repair. In: 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 118\u2013129. IEEE (2018)","DOI":"10.1109\/SANER.2018.8330202"},{"key":"823_CR26","doi-asserted-by":"crossref","unstructured":"Long, F., Amidon, P., Rinard, M.: Automatic inference of code transforms for patch generation. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, pp 727\u2013739 (2017)","DOI":"10.1145\/3106237.3106253"},{"issue":"3","key":"823_CR27","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1007\/s10270-014-0437-x","volume":"15","author":"N Macedo","year":"2016","unstructured":"Macedo, N., Cunha, A.: Least-change bidirectional model transformation with QVT-R and ATL. Softw. Syst. Model. 15(3), 783\u2013810 (2016)","journal-title":"Softw. Syst. Model."},{"key":"823_CR28","doi-asserted-by":"crossref","unstructured":"Macedo, N., Guimaraes, T., Cunha, A.: Model repair and transformation with echo. In: 2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE), pp. 694\u2013697. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693135"},{"key":"823_CR29","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.scico.2015.01.002","volume":"104","author":"F Mantz","year":"2015","unstructured":"Mantz, F., Taentzer, G., Lamo, Y., Wolter, U.: Co-evolving meta-models and their instance models: a formal approach based on graph transformation. Sci. Comput. Program. 104, 2\u201343 (2015)","journal-title":"Sci. Comput. Program."},{"key":"823_CR30","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.jss.2019.01.069","volume":"151","author":"M Martinez","year":"2019","unstructured":"Martinez, M., Monperrus, M.: Astor: Exploring the design space of generate-and-validate program repair beyond genprog. J. Syst. Softw. 151, 65\u201380 (2019)","journal-title":"J. Syst. Softw."},{"key":"823_CR31","doi-asserted-by":"crossref","unstructured":"Mechtaev, S., Yi, J., Roychoudhury, A.: Angelix: Scalable multiline program patch synthesis via symbolic analysis. In: Proceedings of the 38th International Conference on Software Engineering, pp. 691\u2013701 (2016)","DOI":"10.1145\/2884781.2884807"},{"key":"823_CR32","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Der\u00a0Straeten, R., D\u2019Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: International Conference on Model Driven Engineering Languages and Systems, pp. 200\u2013214. Springer (2006)","DOI":"10.1007\/11880240_15"},{"issue":"1","key":"823_CR33","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/s10664-013-9283-7","volume":"20","author":"M Misbhauddin","year":"2015","unstructured":"Misbhauddin, M., Alshayeb, M.: UML model refactoring: a systematic literature review. Empir. Softw. Eng. 20(1), 206\u2013251 (2015)","journal-title":"Empir. Softw. Eng."},{"key":"823_CR34","doi-asserted-by":"crossref","unstructured":"Mougenot, A., Darrasse, A., Blanc, X., Soria, M.: Uniform random generation of huge metamodel instances. In: European Conference on Model Driven Architecture-Foundations and Applications, pp. 130\u2013145. Springer (2009)","DOI":"10.1007\/978-3-642-02674-4_10"},{"issue":"10","key":"823_CR35","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1145\/2398857.2384665","volume":"47","author":"K Mu\u015flu","year":"2012","unstructured":"Mu\u015flu, K., Brun, Y., Holmes, R., Ernst, M.D., Notkin, D.: Speculative analysis of integrated development environment recommendations. ACM SIGPLAN Not. 47(10), 669\u2013682 (2012)","journal-title":"ACM SIGPLAN Not."},{"key":"823_CR36","doi-asserted-by":"crossref","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, pp. 105\u2013108 (2018)","DOI":"10.1145\/3183440.3183498"},{"key":"823_CR37","unstructured":"OMG (2014) Object constraint language. http:\/\/www.omg.org\/spec\/OCL\/2.4"},{"key":"823_CR38","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/j.jss.2015.08.047","volume":"111","author":"RF Paige","year":"2016","unstructured":"Paige, R.F., Matragkas, N., Rose, L.M.: Evolving models in model-driven engineering: state-of-the-art and future challenges. J. Syst. Softw. 111, 272\u2013280 (2016)","journal-title":"J. Syst. Softw."},{"issue":"1","key":"823_CR39","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":"823_CR40","doi-asserted-by":"publisher","unstructured":"Reder, A., Egyed, A.: Computing repair trees for resolving inconsistencies in design models. In: ASE, pp 220\u2013229 (2012). https:\/\/doi.org\/10.1145\/2351676.2351707","DOI":"10.1145\/2351676.2351707"},{"key":"823_CR41","doi-asserted-by":"publisher","unstructured":"Reder, A., Egyed, A.: Incremental consistency checking for complex design rules and larger model changes. In: MODELS, pp. 202\u2013218 (2012). https:\/\/doi.org\/10.1007\/978-3-642-33666-9_14","DOI":"10.1007\/978-3-642-33666-9_14"},{"issue":"11","key":"823_CR42","doi-asserted-by":"publisher","first-page":"1531","DOI":"10.1109\/TSE.2013.30","volume":"39","author":"A Reder","year":"2013","unstructured":"Reder, A., Egyed, A.: Determining the cause of a design model inconsistency. IEEE Trans. Softw. Eng. 39(11), 1531\u20131548 (2013). https:\/\/doi.org\/10.1109\/TSE.2013.30","journal-title":"IEEE Trans. Softw. Eng."},{"key":"823_CR43","doi-asserted-by":"crossref","unstructured":"Saha, R.K., Lyu, Y., Yoshida, H., Prasad, M.R.: Elixir: effective object-oriented program repair. In: 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 648\u2013659. IEEE (2017)","DOI":"10.1109\/ASE.2017.8115675"},{"key":"823_CR44","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Debreceni, C., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Change propagation of view models by logic synthesis using sat solvers. In: Bx@ ETAPS, pp. 40\u201344 (2016)","DOI":"10.1145\/2976767.2976788"},{"key":"823_CR45","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Horv\u00e1th, \u00c1., Debreceni, C.: Incremental backward change propagation of view models by logic solvers. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pp. 306\u2013316. ACM (2016)","DOI":"10.1145\/2976767.2976788"},{"issue":"1","key":"823_CR46","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: Formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol. (TOSEM) 15(1), 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"823_CR47","doi-asserted-by":"crossref","unstructured":"Steimann, F., von Pilgrim, J.: Constraint-based refactoring with foresight. In: European Conference on Object-Oriented Programming, pp. 535\u2013559. Springer (2012)","DOI":"10.1007\/978-3-642-31057-7_24"},{"key":"823_CR48","doi-asserted-by":"crossref","unstructured":"Steimann, F., Hagemann, J., Ulke, B.: Computing repair alternatives for malformed programs using constraint attribute grammars. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 711\u2013730 (2016)","DOI":"10.1145\/2983990.2984007"},{"key":"823_CR49","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Ohrndorf, M., Lamo, Y., Rutle, A.: Change-preserving model repair. In: International Conference on Fundamental Approaches to Software Engineering, pp. 283\u2013299. Springer (2017)","DOI":"10.1007\/978-3-662-54494-5_16"},{"key":"823_CR50","doi-asserted-by":"crossref","unstructured":"Tr\u00f6ls, M.A., Mashkoor, A., Egyed, A.: Multifaceted consistency checking of collaborative engineering artifacts. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 278\u2013287. IEEE (2019)","DOI":"10.1109\/MODELS-C.2019.00044"},{"issue":"3","key":"823_CR51","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/MS.2013.65","volume":"31","author":"J Whittle","year":"2014","unstructured":"Whittle, J., Hutchinson, J., Rouncefield, M.: The state of practice in model-driven engineering. IEEE Softw. 31(3), 79\u201385 (2014)","journal-title":"IEEE Softw."},{"key":"823_CR52","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, Berlin (2012)"},{"key":"823_CR53","doi-asserted-by":"crossref","unstructured":"Xin, Q., Reiss, S.P.: Leveraging syntax-related code for automated program repair. In: 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 660\u2013670. IEEE (2017)","DOI":"10.1109\/ASE.2017.8115676"},{"key":"823_CR54","doi-asserted-by":"publisher","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: ESEC FSE, pp. 315\u2013324 (2009) https:\/\/doi.org\/10.1145\/1595696.1595757","DOI":"10.1145\/1595696.1595757"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00823-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00823-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00823-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,24]],"date-time":"2021-08-24T23:13:46Z","timestamp":1629846826000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00823-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,25]]},"references-count":54,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["823"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00823-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8,25]]},"assertion":[{"value":"27 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 April 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 July 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 August 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}