{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T16:20:30Z","timestamp":1783959630666,"version":"3.55.0"},"reference-count":56,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61972373"],"award-info":[{"award-number":["61972373"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005145","name":"Basic Research Program of Jiangsu Province","doi-asserted-by":"publisher","award":["BK20201192"],"award-info":[{"award-number":["BK20201192"]}],"id":[{"id":"10.13039\/501100005145","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001381","name":"National Research Foundation Singapore","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001381","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NSoE Programme","award":["NSOE-TSS2019-03"],"award-info":[{"award-number":["NSOE-TSS2019-03"]}]},{"name":"CAS Pioneer Hundred Talents Program of China"},{"name":"Canada CIFAR AI Chairs Program"},{"name":"Amii RAP Program"},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2021-02549"],"award-info":[{"award-number":["RGPIN-2021-02549"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPAS-2021-00034"],"award-info":[{"award-number":["RGPAS-2021-00034"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["DGECR-2021-00019"],"award-info":[{"award-number":["DGECR-2021-00019"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"name":"JSPS KAKENHI","award":["JP20H04168"],"award-info":[{"award-number":["JP20H04168"]}]},{"name":"JSPS KAKENHI","award":["JP21H04877"],"award-info":[{"award-number":["JP21H04877"]}]},{"DOI":"10.13039\/501100020959","name":"JST-Mirai Program","doi-asserted-by":"publisher","award":["JPMJMI20B8"],"award-info":[{"award-number":["JPMJMI20B8"]}],"id":[{"id":"10.13039\/501100020959","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1109\/tdsc.2022.3182373","type":"journal-article","created":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T20:41:17Z","timestamp":1655152877000},"page":"515-529","source":"Crossref","is-referenced-by-count":68,"title":["xFuzz: Machine Learning Guided Cross-Contract Fuzzing"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2979-7151","authenticated-orcid":false,"given":"Yinxing","family":"Xue","sequence":"first","affiliation":[{"name":"University of Science and Technology of China, Hefei, Anhui, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6111-3090","authenticated-orcid":false,"given":"Jiaming","family":"Ye","sequence":"additional","affiliation":[{"name":"Kyushu University, Fukuoka, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China, Hefei, Anhui, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3545-1392","authenticated-orcid":false,"given":"Jun","family":"Sun","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lei","family":"Ma","sequence":"additional","affiliation":[{"name":"University of Alberta, Alberta Machine Intelligence Institute, Edmonton, AB, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haijun","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8083-4352","authenticated-orcid":false,"given":"Jianjun","family":"Zhao","sequence":"additional","affiliation":[{"name":"Kyushu University, Fukuoka, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Top blockchain platforms of 2020","author":"Das","year":"2020"},{"key":"ref2","article-title":"Ethereum daily transaction chart","year":"2017"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3391195"},{"key":"ref4","first-page":"530","article-title":"Empirical review of automated analysis tools on 47,587 ethereum smart contracts","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Durieux"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"ref6","article-title":"The DAO hack explained: Unfortunate take-off of smart contracts","author":"G\u00fc\u00e7l\u00fct\u00fcrk","year":"2018"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2942301"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref11","article-title":"Solhint","year":"2018"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref13","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","author":"Tikhomirov"},{"key":"ref14","first-page":"778","article-title":"sFuzz: An efficient adaptive fuzzer for solidity smart contracts","volume-title":"Proc. 42nd ACM\/IEEE Int. Conf. Softw. Eng.","author":"Nguyen"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3404366"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SANER48275.2020.9054822"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2019.00048"},{"key":"ref19","first-page":"1029","article-title":"Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts","volume-title":"Proc. 35rd IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Yinxing"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09796-5"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417064"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00024"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115618"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"ref25","article-title":"7 principles of software testing: Defect clustering and pareto principle","author":"Help","year":"2021"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397385"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464837"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/454"},{"key":"ref29","article-title":"Efficient estimation of word representations in vector space","author":"Mikolov","year":"2013"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464837"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3415298"},{"key":"ref32","article-title":"Machine learning guided cross-contract fuzzing","year":"2020"},{"key":"ref33","article-title":"Ethereum virtual machine opcodes","year":"2019"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00057"},{"key":"ref35","article-title":"Decentralized application security project","year":"2018"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"ref37","first-page":"1","article-title":"Flayer: Exposing application internals","author":"Drewry","year":"2007"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939785"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.2007853"},{"key":"ref40","article-title":"Smart contract weakness classification registry","author":"Security","year":"2019"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3290353"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2930578"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2857705.2857720"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1019480"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1186\/s40537-018-0151-6"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1613\/jair.953"},{"key":"ref47","article-title":"Bidirectional LSTM-CRF models for sequence tagging","author":"Huang","year":"2015"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1002\/int.22633"},{"key":"ref49","article-title":"Function selector","author":"Contract","year":"2021"},{"key":"ref50","article-title":"Security technology for smart contracts","year":"2020"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2018.8328743"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693101"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771814"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/PAC.2017.10"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/454"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/10472294\/09795233.pdf?arnumber=9795233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T12:49:07Z","timestamp":1711457347000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9795233\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3]]},"references-count":56,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2022.3182373","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3]]}}}