{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T01:01:04Z","timestamp":1759366864636,"version":"build-2065373602"},"reference-count":27,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T00:00:00Z","timestamp":1742515200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Blockchain: Research and Applications"],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1016\/j.bcra.2025.100279","type":"journal-article","created":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:11:29Z","timestamp":1743019889000},"page":"100279","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["ACOFuzz: An ant colony algorithm-based fuzzer for smart contracts"],"prefix":"10.1016","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-6123-8036","authenticated-orcid":false,"given":"Peixuan","family":"Feng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenrui","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8593-9636","authenticated-orcid":false,"given":"Siqi","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongjuan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haoyuan","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Runnan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.bcra.2025.100279_br0010","series-title":"Proceedings of 2018 IEEE International Multidisciplinary Conference on Engineering Technology (IMCET)","first-page":"1","article-title":"Decentralized voting platform based on Ethereum blockchain","author":"Khoury","year":"2018"},{"key":"10.1016\/j.bcra.2025.100279_br0020","series-title":"Proceedings of 29th IEEE\/ACM International Conference on Program Comprehension","first-page":"127","article-title":"Ethersolve: computing an accurate control-flow graph from Ethereum bytecode","author":"Contro","year":"2021"},{"issue":"11","key":"10.1016\/j.bcra.2025.100279_br0030","doi-asserted-by":"crossref","first-page":"4886","DOI":"10.1109\/TSE.2023.3317209","article-title":"Vulhunter: hunting vulnerable smart contracts at EVM bytecode-level via multiple instance learning","volume":"49","author":"Li","year":"2023","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.bcra.2025.100279_br0040","series-title":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security","first-page":"531","article-title":"Learning to fuzz from symbolic execution with application to smart contracts","author":"He","year":"2019"},{"key":"10.1016\/j.bcra.2025.100279_br0050","series-title":"Proceedings of 36th IEEE\/ACM International Conference on Automated Software Engineering","first-page":"227","article-title":"SMARTIAN: enhancing smart contract fuzzing with static and dynamic data-flow analyses","author":"Choi","year":"2021"},{"key":"10.1016\/j.bcra.2025.100279_br0060","series-title":"2020 IEEE Symposium on Security and Privacy","first-page":"1678","article-title":"VERISMART: a highly precise safety verifier for Ethereum smart contracts","author":"So","year":"2020"},{"key":"10.1016\/j.bcra.2025.100279_br0070","series-title":"35th IEEE\/ACM International Conference on Automated Software Engineering","first-page":"1349","article-title":"Smartbugs: a framework to analyze solidity smart contracts","author":"Ferreira","year":"2020"},{"key":"10.1016\/j.bcra.2025.100279_br0080","series-title":"34th IEEE\/ACM International Conference on Automated Software Engineering","first-page":"1186","article-title":"Manticore: a user-friendly symbolic execution framework for binaries and smart contracts","author":"Mossberg","year":"2019"},{"key":"10.1016\/j.bcra.2025.100279_br0090","series-title":"ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis","first-page":"658","article-title":"echidna-parade: a tool for diverse multicore smart contract fuzzing","author":"Groce","year":"2021"},{"key":"10.1016\/j.bcra.2025.100279_br0100","series-title":"Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security","first-page":"1197","article-title":"Fuzz on the beach: fuzzing solana smart contracts","author":"Smolka","year":"2023"},{"key":"10.1016\/j.bcra.2025.100279_br0110","series-title":"Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","first-page":"322","article-title":"Ityfuzz: snapshot-based fuzzer for smart contract","author":"Shou","year":"2023"},{"key":"10.1016\/j.bcra.2025.100279_br0120","doi-asserted-by":"crossref","first-page":"1237","DOI":"10.1109\/TIFS.2023.3237370","article-title":"Rethinking smart contract fuzzing: fuzzing with invocation ordering and important branch revisiting","volume":"18","author":"Liu","year":"2023","journal-title":"IEEE Trans. Inf. Forensics Secur."},{"key":"10.1016\/j.bcra.2025.100279_br0130","series-title":"37th IEEE\/ACM International Conference on Automated Software Engineering","first-page":"36:1","article-title":"Effectively generating vulnerable transaction sequences in smart contracts with reinforcement learning-guided fuzzing","author":"Su","year":"2022"},{"key":"10.1016\/j.bcra.2025.100279_br0140","series-title":"44th IEEE\/ACM International Conference on Software Engineering: Companion Proceedings","first-page":"202","article-title":"Syntest-solidity: automated test case generation and fuzzing for smart contracts","author":"Olsthoorn","year":"2022"},{"key":"10.1016\/j.bcra.2025.100279_br0150","series-title":"9th Intl Conference on Big Data Security on Cloud, BigDataSecurity, IEEE Intl Conference on High Performance and Smart Computing, HPSC and IEEE Intl Conference on Intelligent Data and Security IDS 2023","first-page":"51","article-title":"An expert knowledge generation model in smart contract vulnerability fuzzing","author":"Li","year":"2023"},{"key":"10.1016\/j.bcra.2025.100279_br0160","doi-asserted-by":"crossref","DOI":"10.1016\/j.infsof.2023.107213","article-title":"Effuzz: efficient fuzzing by directed search for smart contracts","volume":"159","author":"Ji","year":"2023","journal-title":"Inf. Softw. Technol."},{"key":"10.1016\/j.bcra.2025.100279_br0170","series-title":"Proceedings of the 40th International Conference on Software","first-page":"65","article-title":"Reguard: finding reentrancy bugs in smart contracts","author":"Liu","year":"2018"},{"author":"Yang","key":"10.1016\/j.bcra.2025.100279_br0180"},{"issue":"4","key":"10.1016\/j.bcra.2025.100279_br0210","first-page":"5711","article-title":"Test case prioritization for changed code using nature inspired optimizer","volume":"44","author":"Pathik","year":"2023","journal-title":"J. Intell. Fuzzy Syst."},{"issue":"2","key":"10.1016\/j.bcra.2025.100279_br0220","doi-asserted-by":"crossref","first-page":"1133","DOI":"10.1109\/TNSE.2020.2968505","article-title":"Contractward: automated vulnerability detection models for Ethereum smart contracts","volume":"8","author":"Wang","year":"2021","journal-title":"IEEE Trans. Netw. Sci. Eng."},{"issue":"1","key":"10.1016\/j.bcra.2025.100279_br0230","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1109\/TR.2022.3173025","article-title":"Test-case generation for data flow testing of smart contracts based on improved genetic algorithm","volume":"72","author":"Ji","year":"2023","journal-title":"IEEE Trans. Reliab."},{"key":"10.1016\/j.bcra.2025.100279_br0240","series-title":"45th IEEE\/ACM International Conference on Software Engineering: Software Engineering in Practice","first-page":"483","article-title":"Automated test case generation for safety-critical software in scade","author":"Kurian","year":"2023"},{"key":"10.1016\/j.bcra.2025.100279_br0250","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.swevo.2014.10.003","article-title":"Adapting ant colony optimization to generate test data for software structural testing","volume":"20","author":"Mao","year":"2015","journal-title":"Swarm Evol. Comput."},{"key":"10.1016\/j.bcra.2025.100279_br0260","doi-asserted-by":"crossref","DOI":"10.1016\/j.engappai.2022.104840","article-title":"Test case generation using improved differential evolution algorithms with novel hypercube-based learning strategies","volume":"112","author":"Su","year":"2022","journal-title":"Eng. Appl. Artif. Intell."},{"key":"10.1016\/j.bcra.2025.100279_br0270","article-title":"Augmenting ant colony optimization with adaptive random testing to cover prime paths","volume":"161","author":"Bidgoli","year":"2020","journal-title":"J. Syst. Softw."},{"issue":"4","key":"10.1016\/j.bcra.2025.100279_br0280","doi-asserted-by":"crossref","DOI":"10.1002\/smr.2557","article-title":"sfuzz2.0: storage-access pattern guided smart contract fuzzing","volume":"36","author":"Wang","year":"2024","journal-title":"J. Softw. Evol. Process"},{"issue":"7","key":"10.1016\/j.bcra.2025.100279_br0300","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/s10664-022-10218-2","article-title":"Smartfast: an accurate and robust formal analysis tool for Ethereum smart contracts","volume":"27","author":"Li","year":"2022","journal-title":"Empir. Softw. Eng."}],"container-title":["Blockchain: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720925000065?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720925000065?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T21:00:38Z","timestamp":1759352438000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2096720925000065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["S2096720925000065"],"URL":"https:\/\/doi.org\/10.1016\/j.bcra.2025.100279","relation":{},"ISSN":["2096-7209"],"issn-type":[{"type":"print","value":"2096-7209"}],"subject":[],"published":{"date-parts":[[2025,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"ACOFuzz: An ant colony algorithm-based fuzzer for smart contracts","name":"articletitle","label":"Article Title"},{"value":"Blockchain: Research and Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.bcra.2025.100279","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2025 THE AUTHORS. Published by Elsevier B.V. on behalf of Zhejiang University Press.","name":"copyright","label":"Copyright"}],"article-number":"100279"}}