{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:06:47Z","timestamp":1750309607436,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T00:00:00Z","timestamp":1736467200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,1,10]]},"DOI":"10.1145\/3727353.3727464","type":"proceedings-article","created":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T16:28:15Z","timestamp":1748363295000},"page":"692-697","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Precision-guided Smart Contract Fuzzing by static Analyses"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-0270-437X","authenticated-orcid":false,"given":"Tianyi","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2245-2588","authenticated-orcid":false,"given":"Qi","family":"Xia","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7014-6417","authenticated-orcid":false,"given":"Jianbin","family":"Gao","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9851-666X","authenticated-orcid":false,"given":"Hu","family":"Xia","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering (School of Cyber Security), University of Electronic Science and Technology of China (UESTC), Chengdu, Sichuan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,27]]},"reference":[{"key":"e_1_3_3_1_1_2","volume-title":"Analysis of the dao exploit","author":"Daian","year":"2016","unstructured":"P. Daian, \u201cAnalysis of the dao exploit,\u201d https:\/\/hackingdistributed.com\/2016\/06\/18\/analysis-of-the-dao-exploit, 2016."},{"key":"e_1_3_3_1_2_2","volume-title":"Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study. arXiv preprint arXiv:2312.16533","author":"Sendner C","year":"2023","unstructured":"Sendner C, Petzi L, Stang J, Dmitrienko A. Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study. arXiv preprint arXiv:2312.16533. 2023."},{"key":"e_1_3_3_1_3_2","first-page":"322","article-title":"Ityfuzz: Snapshot-based fuzzer for smart contract","author":"Shou","year":"2023","unstructured":"Shou, Chaofan, Shangyin Tan. \"Ityfuzz: Snapshot-based fuzzer for smart contract.\" In\u00a0Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 322-333. 2023.","journal-title":"In\u00a0Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2018.8328737"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3185089.3185138"},{"key":"e_1_3_3_1_6_2","first-page":"1288","volume-title":"symposium (USENIX Security 21)","author":"He R.","year":"2021","unstructured":"N. He, R. Zhang, H. Wang, L. Wu, X. Luo, Y. Guo, T. Yu, and X. Jiang, \u201c{EOSAFE}: security analysis of {EOSIO} smart contracts,\u201d in 30th USENIX security symposium (USENIX Security 21), pp. 1271\u20131288, 2021."},{"volume-title":"ACM SIGSAC Conference on Computer and Communications Security 2024 Dec 2 (pp. 5072-5074)","author":"Li Z","key":"e_1_3_3_1_7_2","unstructured":"Li Z, Zhao Z, Li W. Enhancing Smart Contract Security Comprehensively through Dynamic Symbolic Execution. ACM SIGSAC Conference on Computer and Communications Security 2024 Dec 2 (pp. 5072-5074)."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3117966"},{"key":"e_1_3_3_1_9_2","first-page":"13","volume-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering","author":"Wu Z.","year":"2024","unstructured":"S. Wu, Z. Li, L. Yan, \u201cAre we there yet? unraveling the state-of-the-art smart contract fuzzers,\u201d in Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering, pp. 1\u201313, 2024."},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2023.103076"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3674725"}],"event":{"name":"BDICN 2025: 2025 4th International Conference on Big Data, Information and Computer Network","acronym":"BDICN 2025","location":"Guangzhou China"},"container-title":["Proceedings of the 2025 4th International Conference on Big Data, Information and Computer Network"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3727353.3727464","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3727353.3727464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:57:28Z","timestamp":1750298248000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3727353.3727464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,10]]},"references-count":11,"alternative-id":["10.1145\/3727353.3727464","10.1145\/3727353"],"URL":"https:\/\/doi.org\/10.1145\/3727353.3727464","relation":{},"subject":[],"published":{"date-parts":[[2025,1,10]]},"assertion":[{"value":"2025-05-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}