{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T09:10:59Z","timestamp":1780391459860,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":111,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,12]]},"DOI":"10.1145\/3597503.3639152","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T16:43:26Z","timestamp":1712940206000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4719-4637","authenticated-orcid":false,"given":"Shuohan","family":"Wu","sequence":"first","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4382-577X","authenticated-orcid":false,"given":"Zihao","family":"Li","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8644-9770","authenticated-orcid":false,"given":"Luyi","family":"Yan","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2753-100X","authenticated-orcid":false,"given":"Weimin","family":"Chen","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University (PolyU), Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2196-6894","authenticated-orcid":false,"given":"Muhui","family":"Jiang","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9539-5046","authenticated-orcid":false,"given":"Chenxu","family":"Wang","sequence":"additional","affiliation":[{"name":"Xi'an Jiaotong University, Xi'An, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9082-3208","authenticated-orcid":false,"given":"Xiapu","family":"Luo","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8890-9208","authenticated-orcid":false,"given":"Hao","family":"Zhou","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2022. American fuzzy lop. https:\/\/lcamtuf.coredump.cx\/afl\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2022. Ethereum smart contract fuzzer. https:\/\/github.com\/crytic\/echidna"},{"key":"e_1_3_2_1_3_1","unstructured":"2022. Go Ethereum. https:\/\/geth.ethereum.org\/"},{"key":"e_1_3_2_1_4_1","unstructured":"2022. libFuzzer - a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html"},{"key":"e_1_3_2_1_5_1","unstructured":"2022. Real-World Use Cases for Smart Contracts and dApps. https:\/\/www.gemini.com\/cryptopedia\/smart-contract-examples-smart-contract-use-cases\/."},{"key":"e_1_3_2_1_6_1","unstructured":"2022. SolidiFI Benchmark. https:\/\/github.com\/DependableSystemsLab\/SolidiFI-benchmark"},{"key":"e_1_3_2_1_7_1","unstructured":"2022. Solidity Programming Language. https:\/\/soliditylang.org\/."},{"key":"e_1_3_2_1_8_1","unstructured":"2022. The DAO Attacked: Code Issue Leads to $60 Million Ether Theft. https:\/\/www.coindesk.com\/markets\/2016\/06\/17\/the-dao-attacked-code-issue-leads-to-60-million-ether-theft\/."},{"key":"e_1_3_2_1_9_1","unstructured":"2022. Welcome to Ethereum. https:\/\/ethereum.org\/en\/."},{"key":"e_1_3_2_1_10_1","unstructured":"2022. What is the cryptic part at the end of a solidity contract bytecode? https:\/\/ethereum.stackexchange.com\/questions\/23525\/what-is-the-cryptic-part-at-the-end-of-a-solidity-contract-bytecode."},{"key":"e_1_3_2_1_11_1","unstructured":"2023. Ethereum Market Cap. https:\/\/ycharts.com\/indicators\/ethereum_market_cap"},{"key":"e_1_3_2_1_12_1","unstructured":"2023. Foundry is a blazing fast portable and modular toolkit for Ethereum application development written in Rust. https:\/\/github.com\/foundry-rs\/foundry"},{"key":"e_1_3_2_1_13_1","unstructured":"2023. Fuzz it. https:\/\/consensys.io\/diligence\/fuzzing\/"},{"key":"e_1_3_2_1_14_1","unstructured":"2023. A list of notable Blockchain Security audit companies and location of public audits. https:\/\/github.com\/0xNazgul\/Blockchain-Security-Audit-List"},{"key":"e_1_3_2_1_15_1","unstructured":"2023. Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity. https:\/\/github.com\/bluealloy\/revm"},{"key":"e_1_3_2_1_16_1","unstructured":"2023. Trail of Bits. https:\/\/www.trailofbits.com\/"},{"key":"e_1_3_2_1_17_1","unstructured":"2023. What Is Branch Coverage and What Does It Really Tell You? https:\/\/linearb.io\/blog\/what-is-branch-coverage\/"},{"key":"e_1_3_2_1_18_1","unstructured":"2023. Z3 Theorem Prover. https:\/\/en.wikipedia.org\/wiki\/Z3_Theorem_Prover"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2018.8328737"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465380"},{"key":"e_1_3_2_1_21_1","first-page":"1","article-title":"REDQUEEN: Fuzzing with Input-to-State Correspondence","volume":"19","author":"Aschermann Cornelius","year":"2019","unstructured":"Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik, and Thorsten Holz. 2019. REDQUEEN: Fuzzing with Input-to-State Correspondence.. In NDSS, Vol. 19. 1--15.","journal-title":"NDSS"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2995183"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185089.3185138"},{"key":"e_1_3_2_1_25_1","unstructured":"Roberto Baldoni Emilio Coppa Daniele Cono D'Elia Camil Demetrescu and Irene Finocchi. [n. d.]. A Survey of Symbolic Execution Techniques. ACM Comput. Surv. ([n. d.])."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.48"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2785841"},{"key":"e_1_3_2_1_30_1","volume-title":"d.]. Deep reinforcement fuzzing","author":"B\u00f6ttinger Konstantin","unstructured":"Konstantin B\u00f6ttinger, Patrice Godefroid, and Rishabh Singh. [n. d.]. Deep reinforcement fuzzing. In IEEE SPW."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Lexi Brent Neville Grech Sifis Lagouvardos Bernhard Scholz and Yannis Smaragdakis. 2020. Ethainter: a smart contract security analyzer for composite vulnerabilities. In PLDI.","DOI":"10.1145\/zenodo.3760403"},{"key":"e_1_3_2_1_32_1","volume-title":"Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, and Ben Livshits.","author":"Chaliasos Stefanos","year":"2023","unstructured":"Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, and Ben Livshits. 2023. Smart contract and defi security: Insights from tool evaluations and practitioner surveys. arXiv preprint arXiv:2304.02981 (2023)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00046"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884650"},{"key":"e_1_3_2_1_35_1","unstructured":"Ting Chen Zihao Li Xiapu Luo Xiaofeng Wang Ting Wang Zheyuan He Kezhao Fang Yufei Zhang Hang Zhu Hongwei Li et al. 2021. SigRec: Automatic recovery of function signatures in smart contracts. TSE (2021)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2019.00137"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Ting Chen Zihao Li Yufei Zhang Xiapu Luo Ting Wang Teng Hu Xiuzhuo Xiao Dong Wang Jin Huang and Xiaosong Zhang. 2019. A large-scale empirical study on control flow identification of smart contracts. In ESEM.","DOI":"10.1109\/ESEM.2019.8870156"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377402"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345664"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380364"},{"key":"e_1_3_2_1_42_1","volume-title":"Proc. IEEE\/ACM WETSEB.","author":"Feist Josselin","unstructured":"Josselin Feist, Gustavo Grieco, and Alex Groce. [n. d.]. Slither: a static analysis framework for smart contracts. In Proc. IEEE\/ACM WETSEB."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3415298"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397385"},{"key":"e_1_3_2_1_45_1","volume-title":"Madmax: Surviving out-of-gas conditions in ethereum smart contracts. OOPSLA","author":"Grech Neville","year":"2018","unstructured":"Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis. 2018. Madmax: Surviving out-of-gas conditions in ethereum smart contracts. OOPSLA (2018)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3404366"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVIDLICCEA56201.2022.9825021"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"e_1_3_2_1_49_1","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"He Ningyu","year":"2021","unstructured":"Ningyu He, Ruiyi Zhang, Haoyu Wang, Lei Wu, Xiapu Luo, Yao Guo, Ting Yu, and Xuxian Jiang. 2021. {EOSAFE}: security analysis of {EOSIO} smart contracts. In 30th USENIX Security Symposium (USENIX Security 21). 1271--1288."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464795"},{"key":"e_1_3_2_1_51_1","unstructured":"Tian-Yuan HU ZeCheng Li BiXin Li and QiHao BAO. [n. d.]. Contractual Security and Privacy Security of Smart Contract: A System Mapping Study. In CHINESE JOURNAL OF COMPUTERS."},{"key":"e_1_3_2_1_52_1","volume-title":"DARWIN: Survival of the Fittest Fuzzing Mutators. arXiv preprint arXiv:2210.11783","author":"Jauernig Patrick","year":"2022","unstructured":"Patrick Jauernig, Domagoj Jakobovic, Stjepan Picek, Emmanuel Stapf, and Ahmad-Reza Sadeghi. 2022. DARWIN: Survival of the Fittest Fuzzing Mutators. arXiv preprint arXiv:2210.11783 (2022)."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS54544.2021.00035"},{"key":"e_1_3_2_1_54_1","volume-title":"Effuzz: Efficient fuzzing by directed search for smart contracts. Information and Software Technology","author":"Ji Songyan","year":"2023","unstructured":"Songyan Ji, Jin Wu, Junfu Qiu, and Jian Dong. 2023. Effuzz: Efficient fuzzing by directed search for smart contracts. Information and Software Technology (2023), 107213."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_57_1","volume-title":"Ethereum smart contract analysis tools: A systematic review","author":"Kushwaha Satpal Singh","year":"2022","unstructured":"Satpal Singh Kushwaha, Sandeep Joshi, Dilbag Singh, Manjit Kaur, and Heung-No Lee. 2022. Ethereum smart contract analysis tools: A systematic review. IEEE Access (2022)."},{"key":"e_1_3_2_1_58_1","volume-title":"Blockchain testing: Challenges, techniques, and research directions. arXiv preprint arXiv:2103.10074","author":"Lal Chhagan","year":"2021","unstructured":"Chhagan Lal and Dusica Marijan. 2021. Blockchain testing: Challenges, techniques, and research directions. arXiv preprint arXiv:2103.10074 (2021)."},{"key":"e_1_3_2_1_59_1","volume-title":"ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically","author":"Li Bixin","year":"2022","unstructured":"Bixin Li, Zhenyu Pan, and Tianyuan Hu. 2022. ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically. IEEE Transactions on Reliability (2022)."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1186\/s42400-018-0002-y"},{"key":"e_1_3_2_1_61_1","volume-title":"A survey on the security of blockchain systems. Future generation computer systems 107","author":"Li Xiaoqi","year":"2020","unstructured":"Xiaoqi Li, Peng Jiang, Ting Chen, Xiapu Luo, and Qiaoyan Wen. 2020. A survey on the security of blockchain systems. Future generation computer systems 107 (2020), 841--853."},{"key":"e_1_3_2_1_62_1","volume-title":"USENIX Security Symposium. 2777--2794","author":"Li Yuwei","year":"2021","unstructured":"Yuwei Li, Shouling Ji, Yuan Chen, Sizhuang Liang, Wei-Han Lee, Yueyao Chen, Chenyang Lyu, Chunming Wu, Raheem Beyah, Peng Cheng, et al. 2021. UNIFUZZ: A Holistic and Pragmatic Metrics-Driven Platform for Evaluating Fuzzers.. In USENIX Security Symposium. 2777--2794."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3616590"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2834476"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/IOTSMS48152.2019.8939256"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183495"},{"key":"e_1_3_2_1_67_1","volume-title":"Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting. arXiv preprint arXiv:2301.03943","author":"Liu Zhenguang","year":"2023","unstructured":"Zhenguang Liu, Peng Qian, Jiaxu Yang, Lingfeng Liu, Xiaojun Xu, Qinming He, and Xiaosong Zhang. 2023. Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting. arXiv preprint arXiv:2301.03943 (2023)."},{"key":"e_1_3_2_1_68_1","volume-title":"Guan-fuzz: Argument Selection With Mean Shift Clustering for Multi-argument Fuzzing. In 2022 9th International Conference on Dependable Systems and Their Applications (DSA). IEEE, 421--430","author":"Lu Han-Lin","year":"2022","unstructured":"Han-Lin Lu, Guan Ming Lin, and Shih-Kun Huang. 2022. Guan-fuzz: Argument Selection With Mean Shift Clustering for Multi-argument Fuzzing. In 2022 9th International Conference on Dependable Systems and Their Applications (DSA). IEEE, 421--430."},{"key":"e_1_3_2_1_69_1","unstructured":"Loi Luu Duc-Hiep Chu Hrishi Olickel Prateek Saxena and Aquinas Hobor. [n. d.]. Making smart contracts smarter. In ACM CCS."},{"key":"e_1_3_2_1_70_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Lyu Chenyang","year":"2019","unstructured":"Chenyang Lyu, Shouling Ji, Chao Zhang, Yuwei Li, Wei-Han Lee, Yu Song, and Raheem Beyah. 2019. {MOPT}: Optimized mutation scheduling for fuzzers. In 28th USENIX Security Symposium (USENIX Security 19). 1949--1966."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3117966"},{"key":"e_1_3_2_1_72_1","unstructured":"Valentin JM Man\u00e8s HyungSeok Han Choongwoo Han Sang Kil Cha Manuel Egele Edward J Schwartz and Maverick Woo. [n. d.]. The art science and engineering of fuzzing: A survey. TSE ([n. d.])."},{"key":"e_1_3_2_1_73_1","volume-title":"Manticore: A user-friendly symbolic execution framework for binaries and smart contracts. In ASE.","author":"Mossberg Mark","year":"2019","unstructured":"Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, and Artem Dinaburg. 2019. Manticore: A user-friendly symbolic execution framework for binaries and smart contracts. In ASE."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380334"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3516869"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMSNETS53615.2022.9668512"},{"key":"e_1_3_2_1_77_1","unstructured":"Annibale Panichella Fitsum Meshesha Kifetew and Paolo Tonella. [n. d.]. Automated test case generation as a many-objective optimisation problem with dynamic selection of the targets. TSE ([n. d.])."},{"key":"e_1_3_2_1_78_1","volume-title":"Security analysis methods on ethereum smart contract vulnerabilities: a survey. arXiv","author":"Praitheeshan Purathani","year":"2019","unstructured":"Purathani Praitheeshan, Lei Pan, Jiangshan Yu, Joseph Liu, and Robin Doss. 2019. Security analysis methods on ethereum smart contract vulnerabilities: a survey. arXiv (2019)."},{"key":"e_1_3_2_1_79_1","volume-title":"Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study. arXiv preprint arXiv:2304.06568","author":"Qasse Ilham","year":"2023","unstructured":"Ilham Qasse, Mohammad Hamdaqa, and Bj\u00f6rn \u00de\u00f3r J\u00f3nsson. 2023. Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study. arXiv preprint arXiv:2304.06568 (2023)."},{"key":"e_1_3_2_1_80_1","volume-title":"Not all bytes are equal: Neural byte sieve for fuzzing. arXiv preprint arXiv:1711.04596","author":"Rajpal Mohit","year":"2017","unstructured":"Mohit Rajpal, William Blum, and Rishabh Singh. 2017. Not all bytes are equal: Neural byte sieve for fuzzing. arXiv preprint arXiv:1711.04596 (2017)."},{"key":"e_1_3_2_1_81_1","first-page":"1","article-title":"VUzzer: Application-aware Evolutionary Fuzzing","volume":"17","author":"Rawat Sanjay","year":"2017","unstructured":"Sanjay Rawat, Vivek Jain, Ashish Kumar, Lucian Cojocar, Cristiano Giuffrida, and Herbert Bos. 2017. VUzzer: Application-aware Evolutionary Fuzzing.. In NDSS, Vol. 17. 1--14.","journal-title":"NDSS"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464837"},{"key":"e_1_3_2_1_83_1","volume-title":"High Performance Smart Contract Fuzzing for Exploit Generation. arXiv preprint arXiv:2304.06341","author":"Rodler Michael","year":"2023","unstructured":"Michael Rodler, David Paa\u00dfen, Wenting Li, Lukas Bernhard, Thorsten Holz, Ghassan Karame, and Lucas Davi. 2023. EF\/CF: High Performance Smart Contract Fuzzing for Exploit Generation. arXiv preprint arXiv:2304.06341 (2023)."},{"key":"e_1_3_2_1_84_1","unstructured":"Rob A Rutenbar. [n. d.]. Simulated annealing algorithms: An overview. Circuits and Devices magazine ([n. d.])."},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE50093.2020.9050260"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2970495"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598059"},{"key":"e_1_3_2_1_88_1","volume-title":"37th IEEE\/ACM International Conference on Automated Software Engineering. 1--12.","author":"Su Jianzhong","unstructured":"Jianzhong Su, Hong-Ning Dai, Lingjun Zhao, Zibin Zheng, and Xiapu Luo. 2022. Effectively Generating Vulnerable Transaction Sequences in Smart Contracts with Reinforcement Learning-guided Fuzzing. In 37th IEEE\/ACM International Conference on Automated Software Engineering. 1--12."},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560429"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_2_1_91_1","volume-title":"Arthur Gervais, et al.","author":"Torres Christof Ferreira","year":"2021","unstructured":"Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, et al. 2021. CONFUZZIUS: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts.(2021). (2021)."},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00009"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2020.3037332"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00081"},{"key":"e_1_3_2_1_95_1","volume-title":"EtherFuzz: Mutation Fuzzing Smart Contracts for TOD Vulnerability Detection. Wireless Communications and Mobile Computing 2022","author":"Wang Xiaoyin","year":"2022","unstructured":"Xiaoyin Wang, Jiaze Sun, Chunyang Hu, Panpan Yu, Bin Zhang, and Donghai Hou. 2022. EtherFuzz: Mutation Fuzzing Smart Contracts for TOD Vulnerability Detection. Wireless Communications and Mobile Computing 2022 (2022)."},{"key":"e_1_3_2_1_96_1","volume-title":"VMCAI 2022, Philadelphia, PA, USA, January 16--18, 2022, Proceedings 23","author":"Wesley Scott","year":"2022","unstructured":"Scott Wesley, Maria Christakis, Jorge A Navas, Richard Trefler, Valentin W\u00fcstholz, and Arie Gurfinkel. 2022. Verifying solidity smart contracts via communication abstraction in SmartACE. In Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16--18, 2022, Proceedings 23. Springer, 425--449."},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3174052"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510174"},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417064"},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380388"},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00035"},{"key":"e_1_3_2_1_102_1","volume-title":"xfuzz: Machine learning guided cross-contract fuzzing","author":"Xue Yinxing","year":"2022","unstructured":"Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, and Jianjun Zhao. 2022. xfuzz: Machine learning guided cross-contract fuzzing. IEEE Transactions on Dependable and Secure Computing (2022)."},{"key":"e_1_3_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER48275.2020.9054822"},{"key":"e_1_3_2_1_104_1","first-page":"480","article-title":"Beak: A Directed Hybrid Fuzzer for Smart Contracts","volume":"8","author":"Zhang Wei","year":"2022","unstructured":"Wei Zhang. 2022. Beak: A Directed Hybrid Fuzzer for Smart Contracts. International Core Journal of Engineering 8, 4 (2022), 480--498.","journal-title":"International Core Journal of Engineering"},{"key":"e_1_3_2_1_105_1","doi-asserted-by":"crossref","unstructured":"Zhuo Zhang Brian Zhang Wen Xu and Zhiqiang Lin. 2023. Demystifying Exploitable Bugs in Smart Contracts. ICSE.","DOI":"10.1109\/ICSE48619.2023.00061"},{"key":"e_1_3_2_1_106_1","doi-asserted-by":"crossref","unstructured":"Kunsong Zhao Zihao Li Jianfeng Li He Ye Xiapu Luo and Ting Chen. 2023. DeepInfer: Deep Type Inference from Smart Contract Bytecode. In ESEC\/FSE.","DOI":"10.1145\/3611643.3616343"},{"key":"e_1_3_2_1_107_1","volume-title":"Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum. arXiv preprint arXiv:2303.13770","author":"Zheng Zibin","year":"2023","unstructured":"Zibin Zheng, Neng Zhang, Jianzhong Su, Zhijie Zhong, Mingxi Ye, and Jiachi Chen. 2023. Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum. arXiv preprint arXiv:2303.13770 (2023)."},{"key":"e_1_3_2_1_108_1","volume-title":"AntFuzzer: A Grey-Box Fuzzing Framework for EOSIO Smart Contracts. arXiv preprint arXiv:2211.02652","author":"Zhou Jianfei","year":"2022","unstructured":"Jianfei Zhou, Tianxing Jiang, Shuwei Song, and Ting Chen. 2022. AntFuzzer: A Grey-Box Fuzzing Framework for EOSIO Smart Contracts. arXiv preprint arXiv:2211.02652 (2022)."},{"key":"e_1_3_2_1_109_1","volume-title":"Proc. IEEE ICSME.","author":"Zhou Teng","unstructured":"Teng Zhou, Kui Liu, Li Li, Zhe Liu, Jacques Klein, and Tegawend\u00e9 F Bissyand\u00e9. [n. d.]. SmartGift: Learning to generate practical inputs for testing smart contracts. In Proc. IEEE ICSME."},{"key":"e_1_3_2_1_110_1","volume-title":"Fuzzing: a survey for roadmap. CSUR","author":"Zhu Xiaogang","year":"2022","unstructured":"Xiaogang Zhu, Sheng Wen, Seyit Camtepe, and Yang Xiang. 2022. Fuzzing: a survey for roadmap. CSUR (2022)."},{"key":"e_1_3_2_1_111_1","doi-asserted-by":"crossref","unstructured":"Yuan Zhuang Zhenguang Liu Peng Qian Qi Liu Xiang Wang and Qinming He. 2020. Smart Contract Vulnerability Detection using Graph Neural Network.. In IJCAI. 3283--3290.","DOI":"10.24963\/ijcai.2020\/454"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639152","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:12Z","timestamp":1750286952000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":111,"alternative-id":["10.1145\/3597503.3639152","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639152","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}