{"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":1783959630252,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T00:00:00Z","timestamp":1665360000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Key R&D Program of China","award":["2020YFB1006002"],"award-info":[{"award-number":["2020YFB1006002"]}]},{"name":"HKBU COMP Department Start-up Fund","award":["41.4541.179432"],"award-info":[{"award-number":["41.4541.179432"]}]},{"name":"Technology Program of Guangzhou, China","award":["202103050004"],"award-info":[{"award-number":["202103050004"]}]},{"name":"Hong Kong RGC Projects","award":["PolyU15219319, PolyU15222320, PolyU15224121"],"award-info":[{"award-number":["PolyU15219319, PolyU15222320, PolyU15224121"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3560429","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":55,"title":["Effectively Generating Vulnerable Transaction Sequences in Smart Contracts with Reinforcement Learning-guided Fuzzing"],"prefix":"10.1145","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, China and Ant Group, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6165-4196","authenticated-orcid":false,"given":"Hong-Ning","family":"Dai","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Hong Kong Baptist University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9082-3208","authenticated-orcid":false,"given":"Lingjun","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zibin","family":"Zheng","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiapu","family":"Luo","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. ILF. https:\/\/github.com\/eth-sri\/ilf"},{"key":"e_1_3_2_1_2_1","unstructured":"2020. VeriSmart-benchmarks. https:\/\/github.com\/kupl\/VeriSmart-benchmarks"},{"key":"e_1_3_2_1_3_1","unstructured":"2022. ERC-721 NON-FUNGIBLE TOKEN STANDARD. https:\/\/ethereum.org\/en\/developers\/docs\/standards\/tokens\/erc-721\/"},{"key":"e_1_3_2_1_4_1","unstructured":"2022. Pytorch. https:\/\/pytorch.org\/"},{"key":"e_1_3_2_1_5_1","unstructured":"2022. Solidity Documentation. https:\/\/docs.soliditylang.org\/en\/v0.8.16\/"},{"key":"e_1_3_2_1_6_1","unstructured":"2022. Xblock. http:\/\/xblock.pro"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510230"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2018.00026"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2989002"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2020.2979019"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380364"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115618"},{"key":"e_1_3_2_1_14_1","volume-title":"Deep Recurrent Q-Learning for Partially Observable MDPs. In AAAI 2015 Fall Symposium.","author":"Hausknecht Matthew","year":"2015","unstructured":"Matthew Hausknecht and Peter Stone. 2015. Deep Recurrent Q-Learning for Partially Observable MDPs. In AAAI 2015 Fall Symposium."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3441692","article-title":"A survey of state-of-the-art on blockchains: Theories, modelings, and tools","volume":"54","author":"Huang Huawei","year":"2021","unstructured":"Huawei Huang, Wei Kong, Sicong Zhou, Zibin Zheng, and Song Guo. 2021. A survey of state-of-the-art on blockchains: Theories, modelings, and tools. ACM Computing Surveys (CSUR) 54, 2 (2021), 1\u201342.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 27th USENIX Conference on Security Symposium","author":"Krupp Johannes","year":"2018","unstructured":"Johannes Krupp and Christian Rossow. 2018. TEETHER: Gnawing at Ethereum to Automatically Exploit Smart Contracts. In Proceedings of the 27th USENIX Conference on Security Symposium (Baltimore, MD, USA) (SEC\u201918). USENIX Association, USA, 1317\u20131333."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2946563"},{"key":"e_1_3_2_1_22_1","unstructured":"Tomas Mikolov Ilya Sutskever Kai Chen Greg Corrado and Jeffrey Dean. 2013. Distributed Representations of Words and Phrases and Their Compositionality. (2013) 3111\u20133119."},{"key":"e_1_3_2_1_23_1","unstructured":"Volodymyr Mnih Koray Kavukcuoglu David Silver Alex Graves Ioannis Antonoglou Daan Wierstra and Martin Riedmiller. 2013. Playing atari with deep reinforcement learning. arXiv preprint arXiv:1312.5602(2013)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"e_1_3_2_1_25_1","volume-title":"Smashing Ethereum Smart Contracts for Fun and Real Profit. In The 9th Annual HITB Security Conference in The Netherlands (HITB SECCONF)","author":"Mueller Bernhard","year":"2018","unstructured":"Bernhard Mueller. 2018. Smashing Ethereum Smart Contracts for Fun and Real Profit. In The 9th Annual HITB Security Conference in The Netherlands (HITB SECCONF), Amsterdam, Vol.\u00a09. 54."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380334"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"e_1_3_2_1_29_1","unstructured":"Purathani Praitheeshan Lei Pan Jiangshan Yu Joseph Liu and Robin Doss. 2019. Security analysis methods on ethereum smart contract vulnerabilities: a survey. arXiv preprint arXiv:1908.08605(2019)."},{"key":"e_1_3_2_1_30_1","unstructured":"Gary\u00a0J Saavedra Kathryn\u00a0N Rodhouse Daniel\u00a0M Dunlavy and Philip\u00a0W Kegelmeyer. 2019. A review of machine learning applications in fuzzing. arXiv preprint arXiv:1906.11133(2019)."},{"key":"e_1_3_2_1_31_1","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"So Sunbeom","year":"2021","unstructured":"Sunbeom So, Seongjoon Hong, and Hakjoo Oh. 2021. SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. In 30th USENIX Security Symposium (USENIX Security 21). 1361\u20131378."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442381.3449824"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417064"},{"key":"e_1_3_2_1_35_1","volume-title":"American fuzzy lop","author":"Zalewski Michal","year":"2017","unstructured":"Michal Zalewski. 2014. American fuzzy lop (2017). URL http:\/\/lcamtuf. coredump. cx\/afl 14 (2014), 28."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2019.00052"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/OJCS.2020.2990458"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.12.019"},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the 29th USENIX Conference on Security Symposium(SEC\u201920)","author":"Zong Peiyuan","year":"2020","unstructured":"Peiyuan Zong, Tao Lv, Dawei Wang, Zizhuang Deng, Ruigang Liang, and Kai Chen. 2020. FuzzGuard: Filtering out Unreachable Inputs in Directed Grey-Box Fuzzing through Deep Learning. In Proceedings of the 29th USENIX Conference on Security Symposium(SEC\u201920). USENIX Association, USA, Article 127, 15\u00a0pages."}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","location":"Rochester MI USA","acronym":"ASE '22"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3560429","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3560429","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T07:58:29Z","timestamp":1755849509000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3560429"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":39,"alternative-id":["10.1145\/3551349.3560429","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3560429","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}