{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T07:32:20Z","timestamp":1775633540512,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Singapore Ministry of Education (MOE)"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377811.3380334","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T18:25:38Z","timestamp":1601576738000},"page":"778-788","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":243,"title":["sFuzz"],"prefix":"10.1145","author":[{"given":"Tai D.","family":"Nguyen","sequence":"first","affiliation":[{"name":"Singapore Management University, Singapore"}]},{"given":"Long H.","family":"Pham","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}]},{"given":"Yun","family":"Lin","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"given":"Quang Tran","family":"Minh","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology, Vietnam"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"d.]. A Next-Generation Smart Contract and Decentralized Application Platform. ([n. d.]). Retrieved","year":"2020","unstructured":"[n. d.]. A Next-Generation Smart Contract and Decentralized Application Platform. ([n. d.]). Retrieved Feb 2020 from https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper"},{"key":"e_1_3_2_1_2_1","volume-title":"d.]. Aleth - Ethereum C++ client, tools and libraries. ([n. d.]). Retrieved","year":"2020","unstructured":"[n. d.]. Aleth - Ethereum C++ client, tools and libraries. ([n. d.]). Retrieved Feb 2020 from https:\/\/github.com\/ethereum\/aleth\/"},{"key":"e_1_3_2_1_3_1","unstructured":"[n. d.]. Echidna. https:\/\/github.com\/crytic\/echidna\/. ([n. d.])."},{"key":"e_1_3_2_1_4_1","volume-title":"d.]. Etherscan. ([n. d.]). Retrieved","year":"2020","unstructured":"[n. d.]. Etherscan. ([n. d.]). Retrieved Feb 2020 from https:\/\/etherscan.io\/"},{"key":"e_1_3_2_1_5_1","unstructured":"[n. d.]. Genetic algorithm. https:\/\/en.wikipedia.org\/wiki\/Genetic_algorithm. ([n. d.])."},{"key":"e_1_3_2_1_6_1","volume-title":"d.]. Solidity. ([n. d.]). Retrieved","year":"2020","unstructured":"[n. d.]. Solidity. ([n. d.]). Retrieved Feb 2020 from https:\/\/solidity.readthedocs.io\/"},{"key":"e_1_3_2_1_7_1","volume-title":"d.]. Technical \"whitepaper\" for afl-fuzz. ([n. d.]). Retrieved","year":"2020","unstructured":"[n. d.]. Technical \"whitepaper\" for afl-fuzz. ([n. d.]). Retrieved Feb 2020 from http:\/\/lcamtuf.coredump.cx\/afl\/technical_details.txt"},{"key":"e_1_3_2_1_8_1","first-page":"1007","article-title":"A survey of attacks on Ethereum smart contracts","volume":"2016","author":"Atzei Nicola","year":"2016","unstructured":"Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli. 2016. A survey of attacks on Ethereum smart contracts. IACR Cryptology ePrint Archive 2016 (2016), 1007.","journal-title":"IACR Cryptology ePrint Archive"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884650"},{"key":"e_1_3_2_1_11_1","volume-title":"Smart contract templates: foundations, design landscape and research directions. arXiv preprint arXiv:1608.00771","author":"Clack Christopher D","year":"2016","unstructured":"Christopher D Clack, Vikram A Bakshi, and Lee Braine. 2016. Smart contract templates: foundations, design landscape and research directions. arXiv preprint arXiv:1608.00771 (2016)."},{"key":"e_1_3_2_1_12_1","volume-title":"d.]. Analysis of the DAO exploit. ([n. d.]). Retrieved","author":"Daian Phil","year":"2020","unstructured":"Phil Daian. [n. d.]. Analysis of the DAO exploit. ([n. d.]). Retrieved Feb 2020 from https:\/\/hackingdistributed.com\/2016\/06\/18\/analysis-of-the-dao-exploit\/"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53357-4_6"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Michael Fr\u00f6wis and Rainer B\u00f6hme. 2017. In Code We Trust? In Data Privacy Management Cryptocurrencies and Blockchain Technology. Springer 357--372.","DOI":"10.1007\/978-3-319-67816-0_20"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.71"},{"key":"e_1_3_2_1_17_1","volume-title":"Formal verification of Deed contract in Ethereum name service. November-2016.[Online]. Available: https:\/\/yoichihirai.com\/deed.pdf","author":"Hirai Yoichi","year":"2016","unstructured":"Yoichi Hirai. 2016. Formal verification of Deed contract in Ethereum name service. November-2016.[Online]. Available: https:\/\/yoichihirai.com\/deed.pdf (2016)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_21_1","volume-title":"27th USENIX Security Symposium, USENIX Security 2018","author":"Krupp Johannes","year":"2018","unstructured":"Johannes Krupp and Christian Rossow. 2018. teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts. In 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15--17, 2018. 1317--1333. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/krupp"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42019-6_10"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077276.1077279"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"e_1_3_2_1_26_1","volume-title":"a proof assistant for higher-order logic","author":"Nipkow Tobias","unstructured":"Tobias Nipkow, Lawrence C Paulson, and Markus Wenzel. 2002. Isabelle\/HOL: a proof assistant for higher-order logic. Vol. 2283. Springer Science & Business Media."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2663435"},{"key":"e_1_3_2_1_28_1","volume-title":"Formalizing and securing relationships on public networks. First Monday 2, 9","author":"Szabo Nick","year":"1997","unstructured":"Nick Szabo. 1997. Formalizing and securing relationships on public networks. First Monday 2, 9 (1997)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180177"},{"key":"e_1_3_2_1_31_1","volume-title":"d.]. Ethereum: A Secure Decentralised Generalised Transaction Ledger. ([n. d.]). Retrieved","author":"Wood Gavin","year":"2020","unstructured":"Gavin Wood. [n. d.]. Ethereum: A Secure Decentralised Generalised Transaction Ledger. ([n. d.]). Retrieved Feb 2020 from https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf"},{"key":"e_1_3_2_1_32_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Yun Insu","year":"2018","unstructured":"Insu Yun, Sangho Lee, Meng Xu, Yeongjin Jang, and Taesoo Kim. 2018. QSYM: A practical concolic execution engine tailored for hybrid fuzzing. In 27th USENIX Security Symposium (USENIX Security 18). 745--761."},{"key":"e_1_3_2_1_33_1","volume-title":"Blockchain challenges and opportunities: A survey. Work Pap.-2016","author":"Zheng Zibin","year":"2016","unstructured":"Zibin Zheng, Shaoan Xie, Hong-Ning Dai, and Huaimin Wang. 2016. Blockchain challenges and opportunities: A survey. Work Pap.-2016 (2016)."}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380334","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:56Z","timestamp":1750202636000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380334"}},"subtitle":["an efficient adaptive fuzzer for solidity smart contracts"],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":33,"alternative-id":["10.1145\/3377811.3380334","10.1145\/3377811"],"URL":"https:\/\/doi.org\/10.1145\/3377811.3380334","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}