{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T22:55:31Z","timestamp":1776552931390,"version":"3.51.2"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031427527","type":"print"},{"value":"9783031427534","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-42753-4_10","type":"book-chapter","created":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T06:02:35Z","timestamp":1693375355000},"page":"142-157","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formalization Quality in\u00a0Isabelle"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9418-1580","authenticated-orcid":false,"given":"Fabian","family":"Huch","sequence":"first","affiliation":[]},{"given":"Yiannos","family":"Stathopoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,8,28]]},"reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1007\/s10664-015-9378-4","volume":"21","author":"F Arcelli Fontana","year":"2015","unstructured":"Arcelli Fontana, F., M\u00e4ntyl\u00e4, M.V., Zanoni, M., Marino, A.: Comparing and experimenting machine learning techniques for code smell detection. Empirical Softw. Eng. 21(3), 1143\u20131191 (2015). https:\/\/doi.org\/10.1007\/s10664-015-9378-4","journal-title":"Empirical Softw. Eng."},{"key":"10_CR2","doi-asserted-by":"publisher","unstructured":"Azeem, M.I., Palomba, F., Shi, L., Wang, Q.: Machine learning techniques for code smell detection: a systematic literature review and meta-analysis (2019). https:\/\/doi.org\/10.1016\/j.infsof.2018.12.009","DOI":"10.1016\/j.infsof.2018.12.009"},{"key":"10_CR3","doi-asserted-by":"publisher","unstructured":"B\u00e1n, D.: The Connection between antipatterns and maintainability in firefox. In: Acta Cybernetica, vol. 23, pp. 471\u2013490. University of Szeged (2017). https:\/\/doi.org\/10.14232\/actacyb.23.2.2017.3","DOI":"10.14232\/actacyb.23.2.2017.3"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-319-09156-3_25","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2014","author":"D B\u00e1n","year":"2014","unstructured":"B\u00e1n, D., Ferenc, R.: Recognizing antipatterns and analyzing their effects on software maintainability. In: Murgante, B., et al. (eds.) ICCSA 2014. LNCS, vol. 8583, pp. 337\u2013352. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09156-3_25"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-030-59592-0_5","volume-title":"Services Computing \u2013 SCC 2020","author":"N Bessghaier","year":"2020","unstructured":"Bessghaier, N., Ouni, A., Mkaouer, M.W.: On the diffusion and impact of code smells in web applications. In: Wang, Q., Xia, Y., Seshadri, S., Zhang, L.-J. (eds.) SCC 2020. LNCS, vol. 12409, pp. 67\u201384. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59592-0_5"},{"issue":"4","key":"10_CR6","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1007\/s11219-021-09567-w","volume":"29","author":"N Bessghaier","year":"2021","unstructured":"Bessghaier, N., Ouni, A., Mkaouer, M.W.: A longitudinal exploratory study on code smells in server side web applications. Softw. Q. J. 29(4), 901\u2013941 (2021). https:\/\/doi.org\/10.1007\/s11219-021-09567-w","journal-title":"Softw. Q. J."},{"key":"10_CR7","doi-asserted-by":"publisher","unstructured":"Di Nucci, D., Palomba, F., Tamburri, D.A., Serebrenik, A., De Lucia, A.: Detecting code smells using machine learning techniques: are we there yet? In: 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018 - Proceedings. vol. 2018, pp. 612\u2013621. IEEE (2018). https:\/\/doi.org\/10.1109\/SANER.2018.8330266","DOI":"10.1109\/SANER.2018.8330266"},{"key":"10_CR8","unstructured":"Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Bad smells in code. Addison-Wesley, Boston (1999)"},{"key":"10_CR9","doi-asserted-by":"publisher","unstructured":"Hamilton, W., Ying, Z., Leskovec, J.: Inductive representation learning on large graphs (2017). https:\/\/doi.org\/10.48550\/arXiv.1706.02216","DOI":"10.48550\/arXiv.1706.02216"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-031-16681-5_10","volume-title":"Intelligent Computer Mathematics","author":"F Huch","year":"2022","unstructured":"Huch, F.: Formal entity graphs as complex networks: assessing centrality metrics of the archive of formal proofs. In: Buzzard, K., Kutsia, T. (eds.) Intelligent Computer Mathematics, pp. 147\u2013161. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-16681-5_10"},{"issue":"4","key":"10_CR11","doi-asserted-by":"publisher","first-page":"1267","DOI":"10.1007\/s11831-019-09348-6","volume":"27","author":"A Kaur","year":"2019","unstructured":"Kaur, A.: A systematic literature review on empirical analysis of the relationship between code smells and software quality attributes. Arch. Comput. Methods Eng. 27(4), 1267\u20131296 (2019). https:\/\/doi.org\/10.1007\/s11831-019-09348-6","journal-title":"Arch. Comput. Methods Eng."},{"key":"10_CR12","doi-asserted-by":"publisher","unstructured":"Khomh, F., Di Penta, M., Gu\u00e9h\u00e9neuc, Y.G.: An exploratory study of the impact of code smells on software change-proneness. In: Proceedings - Working Conference on Reverse Engineering, WCRE, pp. 75\u201384 (2009). https:\/\/doi.org\/10.1109\/WCRE.2009.28","DOI":"10.1109\/WCRE.2009.28"},{"issue":"3","key":"10_CR13","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s10664-011-9171-y","volume":"17","author":"F Khomh","year":"2012","unstructured":"Khomh, F., Penta, M.D., Gu\u00e9h\u00e9neuc, Y.G., Antoniol, G.: An exploratory study of the impact of antipatterns on class change- and fault-proneness. Empirical Softw. Eng. 17(3), 243\u2013275 (2012). https:\/\/doi.org\/10.1007\/s10664-011-9171-y","journal-title":"Empirical Softw. Eng."},{"key":"10_CR14","doi-asserted-by":"publisher","unstructured":"Megdiche, Y., Huch, F., Stevens, L.: A linter for isabelle: implementation and evaluation. In: Isabelle Workshop (2022). https:\/\/doi.org\/10.48550\/arXiv.2207.10424","DOI":"10.48550\/arXiv.2207.10424"},{"key":"10_CR15","doi-asserted-by":"publisher","unstructured":"Olbrich, S., Cruzes, D.S., Basili, V., Zazworka, N.: The evolution and impact of code smells: a case study of two open source systems. In: 2009 3rd International Symposium on Empirical Software Engineering and Measurement, ESEM 2009, pp. 390\u2013400 (2009). https:\/\/doi.org\/10.1109\/ESEM.2009.5314231","DOI":"10.1109\/ESEM.2009.5314231"},{"key":"10_CR16","doi-asserted-by":"publisher","unstructured":"Olbrich, S.M., Cruzes, D.S., Sjo\u00f8berg, D.I.: Are all code smells harmful? A study of god classes and brain classes in the evolution of three open source systems. In: IEEE International Conference on Software Maintenance, ICSM (2010). https:\/\/doi.org\/10.1109\/ICSM.2010.5609564","DOI":"10.1109\/ICSM.2010.5609564"},{"key":"10_CR17","doi-asserted-by":"publisher","unstructured":"Palomba, F., Bavota, G., Di Penta, M., Fasano, F., Oliveto, R., De Lucia, A.: On the diffuseness and the impact on maintainability of code smells. In: Proceedings of the 40th International Conference on Software Engineering, pp. 482\u2013482. ACM, New York, NY, USA (2018). https:\/\/doi.org\/10.1145\/3180155.3182532","DOI":"10.1145\/3180155.3182532"},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"Romano, D., Raila, P., Pinzger, M., Khomh, F.: Analyzing the impact of antipatterns on change-proneness using fine-grained source code changes. In: Proceedings - Working Conference on Reverse Engineering, WCRE, pp. 437\u2013446 (2012). https:\/\/doi.org\/10.1109\/WCRE.2012.53","DOI":"10.1109\/WCRE.2012.53"},{"key":"10_CR19","doi-asserted-by":"publisher","unstructured":"Santos, J.A.M., et al.: A systematic review on the code smell effect. J. Syst. Softw. 144, 450\u2013477 (2018). https:\/\/doi.org\/10.1016\/j.jss.2018.07.035","DOI":"10.1016\/j.jss.2018.07.035"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"10402","DOI":"10.1109\/ACCESS.2022.3144598","volume":"10","author":"L Sikic","year":"2022","unstructured":"Sikic, L., Kurdija, A.S., Vladimir, K., Silic, M.: Graph neural network for source code defect prediction. IEEE Access 10, 10402\u201310415 (2022). https:\/\/doi.org\/10.1109\/ACCESS.2022.3144598","journal-title":"IEEE Access"},{"issue":"8","key":"10_CR21","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1109\/TSE.2012.89","volume":"39","author":"DI Sjoberg","year":"2013","unstructured":"Sjoberg, D.I., Yamashita, A., Anda, B.C., Mockus, A., Dyba, T.: Quantifying the effect of code smells on maintenance effort. IEEE Trans. Softw. Eng. 39(8), 1144\u20131156 (2013). https:\/\/doi.org\/10.1109\/TSE.2012.89","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR22","doi-asserted-by":"publisher","unstructured":"Soh, Z., Yamashita, A., Khomh, F., Gu\u00e9h\u00e9neuc, Y.G.: Do code smells impact the effort of different maintenance programming activities? In: 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, vol. 1, pp. 393\u2013402. IEEE (2016). https:\/\/doi.org\/10.1109\/SANER.2016.103","DOI":"10.1109\/SANER.2016.103"},{"key":"10_CR23","doi-asserted-by":"publisher","unstructured":"Touvron, H., et al.: Llama: open and efficient foundation language models (2023). https:\/\/doi.org\/10.48550\/arXiv.2302.13971","DOI":"10.48550\/arXiv.2302.13971"},{"key":"10_CR24","doi-asserted-by":"publisher","unstructured":"Veli\u010dkovi\u0107, P., Cucurull, G., Casanova, A., Romero, A., Li\u00f2, P., Bengio, Y.: Graph attention networks. In: International Conference on Learning Representations (2018). https:\/\/doi.org\/10.48550\/arXiv.1710.10903","DOI":"10.48550\/arXiv.1710.10903"},{"issue":"4","key":"10_CR25","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1007\/s10664-013-9250-3","volume":"19","author":"A Yamashita","year":"2013","unstructured":"Yamashita, A.: Assessing the capability of code smells to explain maintenance problems: an empirical study combining quantitative and qualitative data. Empirical Softw. Eng. 19(4), 1111\u20131143 (2013). https:\/\/doi.org\/10.1007\/s10664-013-9250-3","journal-title":"Empirical Softw. Eng."},{"issue":"10","key":"10_CR26","doi-asserted-by":"publisher","first-page":"2639","DOI":"10.1016\/j.jss.2013.05.007","volume":"86","author":"A Yamashita","year":"2013","unstructured":"Yamashita, A., Counsell, S.: Code smells as system-level indicators of maintainability: an empirical study. J. Syst. Softw. 86(10), 2639\u20132653 (2013). https:\/\/doi.org\/10.1016\/j.jss.2013.05.007","journal-title":"J. Syst. Softw."},{"key":"10_CR27","doi-asserted-by":"publisher","unstructured":"Zazworka, N., Shaw, M.A., Shull, F., Seaman, C.: Investigating the impact of design debt on software quality. In: Proceedings - International Conference on Software Engineering, pp. 17\u201323. ACM, New York, NY, USA (2011). https:\/\/doi.org\/10.1145\/1985362.1985366","DOI":"10.1145\/1985362.1985366"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-42753-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T06:03:58Z","timestamp":1693375438000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-42753-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031427527","9783031427534"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-42753-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"28 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CICM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computer Mathematics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cambridge","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mkm2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cicm-conference.org\/2023\/cicm.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"52% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}