{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T10:08:50Z","timestamp":1781258930580,"version":"3.54.1"},"reference-count":79,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Zhejiang Provincial Key Project of Undergraduate Education and Teaching Reform","award":["JGZD2024060"],"award-info":[{"award-number":["JGZD2024060"]}]},{"name":"Zhejiang Provincial Higher Education Research Project & Special Research Project on Artificial Intelligence Empowering Education and Teaching Applications","award":["KT2024007"],"award-info":[{"award-number":["KT2024007"]}]},{"name":"Sichuan Provincial Natural Science Foundation for Distinguished Young Scholars","award":["2023NSFSC1963"],"award-info":[{"award-number":["2023NSFSC1963"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62332004"],"award-info":[{"award-number":["62332004"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,5]]},"DOI":"10.1109\/tse.2025.3555622","type":"journal-article","created":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T03:29:53Z","timestamp":1743218993000},"page":"1538-1553","source":"Crossref","is-referenced-by-count":9,"title":["NumScout: Unveiling Numerical Defects in Smart Contracts Using LLM-Pruning Symbolic Execution"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0192-9992","authenticated-orcid":false,"given":"Jiachi","family":"Chen","sequence":"first","affiliation":[{"name":"Intelligent Transportation and Information Security Laboratory, Hangzhou Normal University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-2993-7482","authenticated-orcid":false,"given":"Zhenzhe","family":"Shao","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-4919-3138","authenticated-orcid":false,"given":"Shuo","family":"Yang","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9466-6427","authenticated-orcid":false,"given":"Yiming","family":"Shen","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7761-7269","authenticated-orcid":false,"given":"Yanlin","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9165-8331","authenticated-orcid":false,"given":"Ting","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, School of Cyber Security, University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0619-1820","authenticated-orcid":false,"given":"Zhenyu","family":"Shan","sequence":"additional","affiliation":[{"name":"Intelligent Transportation and Information Security Laboratory, Hangzhou Normal University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7872-7718","authenticated-orcid":false,"given":"Zibin","family":"Zheng","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"issue":"37","key":"ref1","first-page":"2","article-title":"A next-generation smart contract and decentralized application platform","volume":"3","author":"Buterin","year":"2014","journal-title":"White Paper"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1504\/IJWGS.2018.095647"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/BigDataCongress.2017.85"},{"key":"ref4","article-title":"Solidity programming language","year":"2024"},{"key":"ref5","volume":"222","author":"Lyu","year":"1996","journal-title":"Handbook of Software Reliability Engineering"},{"key":"ref6","article-title":"Smart contract defects-arithmetic issue","year":"2024"},{"key":"ref7","article-title":"The safemath library for solidity smart contracts","year":"2020"},{"key":"ref8","article-title":"Solidity v0.8.0 breaking changes, solidity 0.8.0 documentation","year":"2020"},{"key":"ref9","article-title":"Balancer","year":"2024"},{"key":"ref10","article-title":"Tiny rounding down, big fund losses: An in-depth analysis of the recent balancer incident","year":"2023"},{"key":"ref11","volume-title":"Card sorting: Designing Usable Categories","author":"Spencer","year":"2009"},{"key":"ref12","article-title":"Emergent abilities of large language models","author":"Wei","year":"2022"},{"key":"ref13","article-title":"Smart contract sanctuary.","author":"Ortner","year":"2024"},{"key":"ref14","article-title":"Evm codes - an ethereum virtual machine opcodes interactive reference","year":"2024"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-020-9284-9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/bigdata50022.2020.9439088"},{"key":"ref18","article-title":"A survey of security vulnerabilities in ethereum smart contracts","author":"Samreen","year":"2021"},{"key":"ref19","article-title":"Bec token","year":"2018"},{"key":"ref20","article-title":"Smartmesh","year":"2018"},{"key":"ref21","article-title":"Uselessethereumtoken","year":"2018"},{"key":"ref22","article-title":"Openzeppelin","year":"2024"},{"key":"ref23","article-title":"A survey of large language models","author":"Zhao","year":"2023"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3641289"},{"key":"ref25","article-title":"Openai","year":"2024"},{"key":"ref26","article-title":"Attention is all you need","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Vaswani","year":"2017"},{"key":"ref27","first-page":"22199","article-title":"Large language models are zero-shot reasoners","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"35","author":"Kojima","year":"2022"},{"key":"ref28","article-title":"gpt-4o","year":"2024"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3702973"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680353"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3664606"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-024-10602-0"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639187"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3664458"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639117"},{"key":"ref36","article-title":"Combining fine-tuning and LLM-based agents for intuitive smart contract auditing with justifications","author":"Ma","year":"2024"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2025.126479"},{"key":"ref38","first-page":"2350","article-title":"Contracttinker: Llm-empowered vulnerability repair for real-world smart contracts","volume-title":"Proc. 39th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Wang","year":"2024"},{"key":"ref39","first-page":"1019","article-title":"Advscanner: Generating adversarial smart contracts to exploit reentrancy vulnerabilities using LLM and static analysis","volume-title":"Proc. 39th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Wu","year":"2024"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3383422"},{"key":"ref41","article-title":"Consensys","year":"2024"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177705148"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2989002"},{"key":"ref44","article-title":"Division \u2014 solidity 0.8.29 documentation","year":"2024"},{"key":"ref45","article-title":"Chainsecurity","year":"2024"},{"key":"ref46","article-title":"Quillaudits","year":"2024"},{"key":"ref47","article-title":"Dedaub","year":"2024"},{"key":"ref48","article-title":"Trail of bits","year":"2024"},{"key":"ref49","article-title":"Erc-20: Token standard","author":"Vogelsteller","year":"2015"},{"key":"ref50","article-title":"Usdt","year":"2024"},{"key":"ref51","article-title":"Usdc","year":"2024"},{"key":"ref52","article-title":"Xrp","year":"2024"},{"key":"ref53","article-title":"Token tracker","year":"2024"},{"key":"ref54","article-title":"Peckshield","year":"2024"},{"key":"ref55","article-title":"Uniswap","year":"2024"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598063"},{"key":"ref57","article-title":"ethereum\/go-ethereum","year":"2024"},{"key":"ref58","article-title":"Source mappings \u2014 solidity 0.8.29 documentation","year":"2024"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484813"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/3703155"},{"key":"ref62","article-title":"LLM is like a box of chocolates: The non-determinism of chatGPT in code generation","author":"Ouyang","year":"2023"},{"key":"ref63","first-page":"1349","article-title":"SmartBugs: A framework to analyze solidity smart contracts","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Ferreira","year":"2020"},{"key":"ref64","article-title":"Confidence interval","year":"2024"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3054928"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385990"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/2391229.2391233"},{"key":"ref74","article-title":"Mythril","year":"2023"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref76","doi-asserted-by":"crossref","first-page":"778","DOI":"10.1145\/3377811.3380334","article-title":"sfuzz: An efficient adaptive fuzzer for solidity smart contracts","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Nguyen","year":"2020"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3404366"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639128"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/11006365\/10944552.pdf?arnumber=10944552","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T17:57:04Z","timestamp":1747677424000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10944552\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5]]},"references-count":79,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3555622","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5]]}}}