{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:01:56Z","timestamp":1784300516579,"version":"3.55.0"},"reference-count":53,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"publisher","award":["2022YFB2702203"],"award-info":[{"award-number":["2022YFB2702203"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62032025"],"award-info":[{"award-number":["62032025"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62302534"],"award-info":[{"award-number":["62302534"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Major Key Project of PCL","award":["PCL2023A05"],"award-info":[{"award-number":["PCL2023A05"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,4]]},"DOI":"10.1109\/tse.2025.3534567","type":"journal-article","created":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T18:47:03Z","timestamp":1738003623000},"page":"947-959","source":"Crossref","is-referenced-by-count":6,"title":["SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7685-944X","authenticated-orcid":false,"given":"Jianzhong","family":"Su","sequence":"first","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0192-9992","authenticated-orcid":false,"given":"Jiachi","family":"Chen","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-9655-658X","authenticated-orcid":false,"given":"Zhiyuan","family":"Fang","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-5048-2516","authenticated-orcid":false,"given":"Xingwei","family":"Lin","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Zhejiang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5677-4564","authenticated-orcid":false,"given":"Yutian","family":"Tang","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Glasgow, Glasgow, U.K."}],"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":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.12.019"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref3","article-title":"DeFiRanger: Detecting price manipulation attacks on defi applications","author":"Wu","year":"2021"},{"key":"ref4","article-title":"Slowmist hacked events","year":"2022"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560429"},{"key":"ref7","first-page":"3367","article-title":"Automated inference on financial security of Ethereum smart contracts","volume-title":"Proc. 32nd USENIX Secur. Symp. (USENIX Secur.)","author":"Wang","year":"2023"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00061"},{"key":"ref9","first-page":"1307","article-title":"Evil under the sun: Understanding and discovering attacks on Ethereum decentralized applications","volume-title":"Proc. USENIX Secur. Symp.","author":"Su","year":"2021"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833721"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380334"},{"key":"ref13","article-title":"TXSPECTOR: Uncovering attacks in Ethereum from transactions","volume-title":"Proc. 29th USENIX Conf. Secur. Symp. (SEC)","author":"Zhang","year":"2020"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00036"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3559384"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3404366"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41600-3_7"},{"key":"ref20","article-title":"Thorchain hacked","year":"2021"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref22","article-title":"Qubit bridge hacked event","year":"2022"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3559539"},{"key":"ref24","article-title":"Solidity documentation","year":"2022"},{"key":"ref25","article-title":"Ethereum yellow paper: A formal specification of Ethereum, a programmable blockchain","year":"2022"},{"key":"ref26","volume-title":"Dynamically Discovering Likely Program Invariants","author":"Ernst","year":"2000"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/sp54263.2024.00126"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534372"},{"key":"ref30","article-title":"Go-Ethereum documentation","year":"2023"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345664"},{"key":"ref32","article-title":"Go-Ethereum","year":"2023"},{"key":"ref33","article-title":"Uniswap v2","year":"2022"},{"key":"ref34","article-title":"Erc-20 token standard","year":"2022"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00110"},{"key":"ref36","article-title":"Rekt","year":"2022"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598124"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE52982.2021.00047"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00087"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3660786"},{"key":"ref41","article-title":"Automated invariant generation for solidity smart contracts","author":"Liu","year":"2024"},{"key":"ref42","article-title":"Etherscan","year":"2023"},{"key":"ref43","article-title":"bzx network hacked","year":"2020"},{"key":"ref44","article-title":"An ever-evolving game: Evaluation of real-world attacks and defenses in Ethereum ecosystem","volume-title":"Proc. 29th USENIX Conf. Secur. Symp. (SEC)","author":"Zhou","year":"2020"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416553"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639117"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451131"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380339"},{"key":"ref49","first-page":"2829","article-title":"The use of likely invariants as feedback for fuzzers","volume-title":"Proc. 30th USENIX Secur. Symp. (USENIX Secur.)","author":"Fioraldi","year":"2021"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.71"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572282"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1041685.1029901"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10969500\/10855805.pdf?arnumber=10855805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T17:37:55Z","timestamp":1744997875000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10855805\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4]]},"references-count":53,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3534567","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,4]]}}}