{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:07:14Z","timestamp":1755907634618,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":68,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,24]],"date-time":"2024-10-24T00:00:00Z","timestamp":1729728000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Horizon Research and Innovation Programme","award":["No. 10107059"],"award-info":[{"award-number":["No. 10107059"]}]},{"name":"ERC Advanced","award":["no.741278"],"award-info":[{"award-number":["no.741278"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,24]]},"DOI":"10.1145\/3674805.3686686","type":"proceedings-article","created":{"date-parts":[[2024,10,15]],"date-time":"2024-10-15T18:39:24Z","timestamp":1729017564000},"page":"257-268","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Broken Agreement: The Evolution of Solidity Error Handling"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1080-602X","authenticated-orcid":false,"given":"Charalambos","family":"Mitropoulos","sequence":"first","affiliation":[{"name":"Technical University of Crete, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9092-3244","authenticated-orcid":false,"given":"Maria","family":"Kechagia","sequence":"additional","affiliation":[{"name":"University College London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-7349-040X","authenticated-orcid":false,"given":"Chrysostomos","family":"Maschas","sequence":"additional","affiliation":[{"name":"GRNET, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9340-2241","authenticated-orcid":false,"given":"Sotirios","family":"Ioannidis","sequence":"additional","affiliation":[{"name":"Technical University of Crete, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9146-442X","authenticated-orcid":false,"given":"Federica","family":"Sarro","sequence":"additional","affiliation":[{"name":"University College London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5061-9018","authenticated-orcid":false,"given":"Dimitrios","family":"Mitropoulos","sequence":"additional","affiliation":[{"name":"University of Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[1] n.d.. https:\/\/rekt.news\/nomad-rekt\/Last access on 13\/10\/2023."},{"key":"e_1_3_2_1_2_1","unstructured":"[2] n.d.. https:\/\/github.com\/Solidity-ErrorHandling-Anonymous\/solbench"},{"key":"e_1_3_2_1_3_1","unstructured":"[3] n.d.. https:\/\/docs.oracle.com\/java\/tutorial\/essential\/exceptions\/throwing.htmlLast access on 12\/10\/2023."},{"key":"e_1_3_2_1_4_1","unstructured":"[4] n.d.. https:\/\/swcregistry.io\/docs\/SWC-104Last access on 13\/10\/2023."},{"key":"e_1_3_2_1_5_1","unstructured":"[5] n.d.. https:\/\/swcregistry.io\/docs\/SWC-101Last access on 15\/10\/2023."},{"key":"e_1_3_2_1_6_1","unstructured":"[6] n.d.. https:\/\/swcregistry.io\/docs\/SWC-113Last access on 15\/10\/2023."},{"key":"e_1_3_2_1_7_1","unstructured":"n.d... https:\/\/docs.soliditylang.org\/en\/v0.8.19\/control-structures.html#error-handling-assert-require-revert-and-exceptionsLast access on 07\/10\/2023."},{"key":"e_1_3_2_1_8_1","unstructured":"[8] n.d.. https:\/\/github.com\/Solidity-ErrorHandling-Anonymous\/solbench\/blob\/main\/src\/ast_detector.py"},{"key":"e_1_3_2_1_9_1","unstructured":"[9] n.d.. https:\/\/swcregistry.io\/docs\/SWC-118Last access on 15\/10\/2023."},{"key":"e_1_3_2_1_10_1","unstructured":"[10] n.d.. https:\/\/soliditylang.org\/blog\/2020\/04\/06\/memory-creation-overflow-bug\/Last access on 14\/10\/2023."},{"key":"e_1_3_2_1_11_1","unstructured":"[11] n.d.. https:\/\/cwe.mitre.org\/data\/definitions\/369.htmlLast access on 14\/10\/2023."},{"key":"e_1_3_2_1_12_1","unstructured":"n.d.. Control Structures Solidity Documentation. https:\/\/docs.soliditylang.org\/en\/v0.8.19\/control-structures.html [Last access 15\/10\/2023]."},{"key":"e_1_3_2_1_13_1","unstructured":"n.d.. Daily Etherium transactions. https:\/\/etherscan.io\/chart\/tx [Last access 31\/10\/2023]."},{"key":"e_1_3_2_1_14_1","unstructured":"n.d.. The Ethereum Platform. https:\/\/ethereum.org\/en\/ [Last access 15\/10\/2023]."},{"key":"e_1_3_2_1_15_1","unstructured":"n.d.. Etherscan. https:\/\/etherscan.io\/ [Last access 31\/10\/2023]."},{"key":"e_1_3_2_1_16_1","unstructured":"n.d.. SMTChecker Documentation. https:\/\/docs.soliditylang.org\/en\/v0.8.19\/smtchecker.html [Last access 15\/10\/2023]."},{"key":"e_1_3_2_1_17_1","unstructured":"n.d.. Solidity. https:\/\/docs.soliditylang.org\/en\/v0.8.0\/ [Last access 15\/10\/2023]."},{"key":"e_1_3_2_1_18_1","unstructured":"n.d.. Version 0.4.13 Announcment. https:\/\/blog.soliditylang.org\/2017\/07\/06\/solidity-0.4.13-release-announcement\/ [Last access 16\/10\/2023]."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3328833.3328857"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2827384"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"e_1_3_2_1_23_1","volume-title":"2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM). 21\u201330","author":"Bonif\u00e1cio Rodrigo","year":"2015","unstructured":"Rodrigo Bonif\u00e1cio, Fausto Carvalho, Guilherme\u00a0N. Ramos, Uir\u00e1 Kulesza, and Roberta Coelho. 2015. The use of C++ exception handling constructs: A comprehensive study. In 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM). 21\u201330."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2019.00010"},{"key":"e_1_3_2_1_25_1","volume-title":"the world\u2019s second-biggest cryptocurrency, is closing in on an all-time high. https:\/\/www.cnbc.com\/2021\/01\/19\/bitcoin-ethereum-eth-cryptocurrency-nears-all-time-high.html [Online","author":"Browne Ryan","year":"2023","unstructured":"Ryan Browne. 2021. Ether, the world\u2019s second-biggest cryptocurrency, is closing in on an all-time high. https:\/\/www.cnbc.com\/2021\/01\/19\/bitcoin-ethereum-eth-cryptocurrency-nears-all-time-high.html [Online; accessed 20-July-2023]."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196398.3196428"},{"volume-title":"Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?. In 2024 IEEE\/ACM 46th International Conference on Software Engineering (ICSE). IEEE Computer Society","author":"Chaliasos S.","key":"e_1_3_2_1_27_1","unstructured":"S. Chaliasos, M. Charalambous, L. Zhou, R. Galanopoulou, A. Gervais, D. Mitropoulos, and B. Livshits. 2024. Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?. In 2024 IEEE\/ACM 46th International Conference on Software Engineering (ICSE). IEEE Computer Society, Los Alamitos, CA, USA, 705\u2013717."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563328"},{"key":"e_1_3_2_1_29_1","volume-title":"Article 67 (jun","author":"Chen Huashan","year":"2020","unstructured":"Huashan Chen, Marcus Pendleton, Laurent Njilla, and Shouhuai Xu. 2020. A Survey on Ethereum Systems Security: Vulnerabilities, Attacks, and Defenses. ACM Comput. Surv. 53, 3, Article 67 (jun 2020), 43\u00a0pages."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549121"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2989002"},{"key":"e_1_3_2_1_32_1","volume-title":"Understanding Code Reuse in Smart Contracts. In 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 470\u2013479","author":"Chen Xiangping","year":"2021","unstructured":"Xiangping Chen, Peiyong Liao, Yixin Zhang, Yuan Huang, and Zibin Zheng. 2021. Understanding Code Reuse in Smart Contracts. In 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 470\u2013479."},{"volume-title":"Practical nonparametric statistics (3. ed ed.)","author":"Conover William Jay","key":"e_1_3_2_1_33_1","unstructured":"William Jay Conover. 1999. Practical nonparametric statistics (3. ed ed.). Wiley, New York, NY [u.a.]."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380364"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380364"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606588"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.04.066"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380413"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330571"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978341"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623335"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380424"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2903497"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278532.3278542"},{"volume-title":"Advanced Topics in Exception Handling Techniques, Christophe Dony, J\u00f8rgen\u00a0Lindskov Knudsen","author":"Kiniry R.","key":"e_1_3_2_1_45_1","unstructured":"Joseph\u00a0R. Kiniry. 2006. Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. In Advanced Topics in Exception Handling Techniques, Christophe Dony, J\u00f8rgen\u00a0Lindskov Knudsen, Alexander Romanovsky, and Anand Tripathi (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 288\u2013300."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3163614"},{"key":"e_1_3_2_1_47_1","volume-title":"Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 630\u2013641","author":"Liu Lu","year":"2021","unstructured":"Lu Liu, Lili Wei, Wuqi Zhang, Ming Wen, Yepang Liu, and Shing-Chi Cheung. 2021. Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 630\u2013641."},{"key":"e_1_3_2_1_48_1","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering","author":"Mariano Benjamin","year":"2021","unstructured":"Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu\u00a0K. Lahiri, and Isil Dillig. 2021. Demystifying Loops in Smart Contracts. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering (Virtual Event, Australia) (ASE \u201920). Association for Computing Machinery, New York, NY, USA, 262\u2013274."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2013.40"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2903499"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09796-5"},{"key":"e_1_3_2_1_52_1","volume-title":"An Empirical Study for Common Language Features Used in Python Projects. In 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 24\u201335","author":"Peng Yun","year":"2021","unstructured":"Yun Peng, Yu Zhang, and Mingzhe Hu. 2021. An Empirical Study for Common Language Features Used in Python Projects. In 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 24\u201335."},{"key":"e_1_3_2_1_53_1","volume-title":"Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited. In USENIX Security Symposium.","author":"Perez Daniel","year":"2021","unstructured":"Daniel Perez and Benjamin Livshits. 2021. Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited. In USENIX Security Symposium."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3210459.3210461"},{"volume-title":"A Type-Directed Approach to Program Repair","author":"Reinking Alex","key":"e_1_3_2_1_55_1","unstructured":"Alex Reinking and Ruzica Piskac. 2015. A Type-Directed Approach to Program Repair. In Computer Aided Verification, Daniel Kroening and Corina\u00a0S. P\u0103s\u0103reanu (Eds.). Springer International Publishing, Cham, 511\u2013517."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464837"},{"volume-title":"Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering: Twenty-first Century Applications","author":"P.","key":"e_1_3_2_1_57_1","unstructured":"Martin\u00a0P. Robillard and Gail\u00a0C. Murphy. 2000. Designing Robust Java Programs with Exceptions. In Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering: Twenty-first Century Applications (San Diego, California, USA) (SIGSOFT \u201900\/FSE-8). ACM, New York, NY, USA, 2\u201310."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/568671.568678"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.7"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2019.00053"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3528226.3528372"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111787"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C55045.2021.00105"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1330017.1330019"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00098"},{"key":"e_1_3_2_1_67_1","volume-title":"Demystifying Exploitable Bugs in Smart Contracts. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 615\u2013627","author":"Zhang Zhuo","year":"2023","unstructured":"Zhuo Zhang, Brian Zhang, Wen Xu, and Zhiqiang Lin. 2023. Demystifying Exploitable Bugs in Smart Contracts. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 615\u2013627."},{"volume-title":"Identifying Solidity Smart Contract API Documentation Errors","author":"Zhu Chenguang","key":"e_1_3_2_1_68_1","unstructured":"Chenguang Zhu, Ye Liu, Xiuheng Wu, and Yi Li. 2023. Identifying Solidity Smart Contract API Documentation Errors. Association for Computing Machinery, New York, NY, USA."}],"event":{"name":"ESEM '24: ACM \/ IEEE International Symposium on Empirical Software Engineering and Measurement","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Barcelona Spain","acronym":"ESEM '24"},"container-title":["Proceedings of the 18th ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3674805.3686686","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3674805.3686686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T12:57:26Z","timestamp":1755867446000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3674805.3686686"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,24]]},"references-count":68,"alternative-id":["10.1145\/3674805.3686686","10.1145\/3674805"],"URL":"https:\/\/doi.org\/10.1145\/3674805.3686686","relation":{},"subject":[],"published":{"date-parts":[[2024,10,24]]},"assertion":[{"value":"2024-10-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}