{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T17:56:52Z","timestamp":1783706212217,"version":"3.55.0"},"reference-count":62,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2022YFB3103100"],"award-info":[{"award-number":["2022YFB3103100"]}],"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":["62173151"],"award-info":[{"award-number":["62173151"]}],"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":["62273154"],"award-info":[{"award-number":["62273154"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Foundation of Key Laboratory of Autonomous Systems and Networked Control, Ministry of Education, China"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,7]]},"DOI":"10.1109\/tse.2024.3400294","type":"journal-article","created":{"date-parts":[[2024,5,15]],"date-time":"2024-05-15T17:36:49Z","timestamp":1715794609000},"page":"1789-1806","source":"Crossref","is-referenced-by-count":15,"title":["ContractCheck: Checking Ethereum Smart Contracts in Fine-Grained Level"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-8093-546X","authenticated-orcid":false,"given":"Xite","family":"Wang","sequence":"first","affiliation":[{"name":"School of Automation Science and Engineering, South China University of Technology, Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8359-2133","authenticated-orcid":false,"given":"Senping","family":"Tian","sequence":"additional","affiliation":[{"name":"School of Automation Science and Engineering, South China University of Technology, Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1755-7887","authenticated-orcid":false,"given":"Wei","family":"Cui","sequence":"additional","affiliation":[{"name":"School of Automation Science and Engineering, South China University of Technology, Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Smart contracts","author":"Szabo","year":"2023"},{"key":"ref2","article-title":"Bitcoin: A peer-to-peer electronic cash system","year":"2023"},{"key":"ref3","article-title":"Anextgenerationsmartcontract & decentralizedapplication platform","author":"Buterin","year":"2023"},{"key":"ref4","article-title":"Solidity home and documentation","year":"2023"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2020.3008315"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/tnsm.2023.3239832"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2020.3024729"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2022.3161631"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2020.3037889"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TEM.2019.2960829"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2777990"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2020.3043626"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3116808"},{"key":"ref14","article-title":"SWC Registry","year":"2023"},{"key":"ref15","article-title":"Review of blockchain security in 2022","year":"2023"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS51616.2021.00067"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICFTIC57696.2022.10075325"},{"key":"ref18","first-page":"1","article-title":"Efficient estimation of word representations in vector space","volume-title":"Proc. Int. Conf. Learn. Representations (ICLR)","author":"Mikolov","year":"2013"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/e17-2068"},{"key":"ref20","article-title":"RoBERTa: A robustly optimized BERT pretraining approach","author":"Liu","year":"2019"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N18-1202"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1162\/neco.2006.18.7.1527"},{"issue":"2","key":"ref23","first-page":"84","article-title":"ImageNet classification with deep convolutional neural networks","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"25","author":"Krizhevsky","year":"2012"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010933404324"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.03762"},{"key":"ref26","article-title":"Relation classification via recurrent neural network","author":"Zhang","year":"2015"},{"key":"ref27","article-title":"Empirical evaluation of gated recurrent neural networks on sequence modeling","author":"Chung","year":"2014"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/iFUZZY.2017.8311793"},{"key":"ref29","article-title":"BecToken.sol.","year":"2023"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2942301"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2989002"},{"key":"ref32","article-title":"Ethereum: A secure decentralised generalised transaction ledger","author":"Wood","year":"2023"},{"key":"ref33","article-title":"SCV-List","year":"2023"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3167084"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00022"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref38","article-title":"Mythril","year":"2023"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3054928"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3123170"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2023.3237370"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3270117"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2023.3271417"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2021.3117966"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2969429"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1088\/2633-1357\/abcd29"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2021.3095196"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2020.2968505"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2021.3050051"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111550"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ICSS55994.2022.00046"},{"key":"ref53","article-title":"antlr.","year":"2023"},{"key":"ref54","first-page":"530","article-title":"Empirical review of automated analysis tools on 47,587 ethereum smart contracts","volume-title":"Proc. IEEE\/ACM 42nd Int. Conf. Softw. Eng. (ICSE)","author":"Durieux","year":"2019"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397385"},{"key":"ref56","first-page":"9","article-title":"SmartCheck: Static analysis of ethereum smart contracts","volume-title":"Proc. IEEE\/ACM 1st Int. Workshop Emerg. Trends Softw. Eng. Blockchain (WETSEB)","author":"Tikhomirov","year":"2018"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/saner48275.2020.9054825"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2971482"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/sp40001.2021.00057"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/tdsc.2021.3051525"},{"key":"ref61","article-title":"ELMo","year":"2023"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10601498\/10531111.pdf?arnumber=10531111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,19]],"date-time":"2024-07-19T14:00:52Z","timestamp":1721397652000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10531111\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":62,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tse.2024.3400294","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":[[2024,7]]}}}