{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:37:41Z","timestamp":1776890261163,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,18]],"date-time":"2020-07-18T00:00:00Z","timestamp":1595030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,18]]},"DOI":"10.1145\/3395363.3404366","type":"proceedings-article","created":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T21:44:18Z","timestamp":1594676658000},"page":"557-560","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":173,"title":["Echidna: effective, usable, and fast fuzzing for smart contracts"],"prefix":"10.1145","author":[{"given":"Gustavo","family":"Grieco","sequence":"first","affiliation":[{"name":"Trail of Bits, USA"}]},{"given":"Will","family":"Song","sequence":"additional","affiliation":[{"name":"Trail of Bits, USA"}]},{"given":"Artur","family":"Cygan","sequence":"additional","affiliation":[{"name":"Trail of Bits, USA"}]},{"given":"Josselin","family":"Feist","sequence":"additional","affiliation":[{"name":"Trail of Bits, USA"}]},{"given":"Alex","family":"Groce","sequence":"additional","affiliation":[{"name":"Northern Arizona University, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"VeriSmart benchmark. https:\/\/github.com\/kupl\/VeriSmart-benchmarks.  VeriSmart benchmark. https:\/\/github.com\/kupl\/VeriSmart-benchmarks."},{"key":"e_1_3_2_1_2_1","volume-title":"Gasol: Gas analysis and optimization for ethereum smart contracts","author":"Albert Elvira","year":"2019","unstructured":"Elvira Albert , Jes\u00fas Correas , Pablo Gordillo , Guillermo Rom\u00e1n-D\u00edez , and Albert Rubio . Gasol: Gas analysis and optimization for ethereum smart contracts , 2019 . Elvira Albert, Jes\u00fas Correas, Pablo Gordillo, Guillermo Rom\u00e1n-D\u00edez, and Albert Rubio. Gasol: Gas analysis and optimization for ethereum smart contracts, 2019."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.12"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"e_1_3_2_1_5_1","volume-title":"Ethereum: A next-generation smart contract and decentralized application platform. https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper","author":"Buterin Vitalik","year":"2013","unstructured":"Vitalik Buterin . Ethereum: A next-generation smart contract and decentralized application platform. https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper , 2013 . Vitalik Buterin. Ethereum: A next-generation smart contract and decentralized application platform. https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper, 2013."},{"key":"e_1_3_2_1_6_1","unstructured":"Chain Security. https:\/\/github.com\/ChainSecurity\/ChainFuzz.  Chain Security. https:\/\/github.com\/ChainSecurity\/ChainFuzz."},{"key":"e_1_3_2_1_7_1","first-page":"268","volume-title":"International Conference on Functional Programming (ICFP)","author":"Claessen Koen","year":"2000","unstructured":"Koen Claessen and John Hughes . QuickCheck : a lightweight tool for random testing of Haskell programs . In International Conference on Functional Programming (ICFP) , pages 268 - 279 , 2000 . Koen Claessen and John Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In International Conference on Functional Programming (ICFP), pages 268-279, 2000."},{"key":"e_1_3_2_1_8_1","volume-title":"Mythril: a security analysis tool for ethereum smart contracts. https:\/\/github.com\/ConsenSys\/mythril-classic","year":"2017","unstructured":"ConsenSys. Mythril: a security analysis tool for ethereum smart contracts. https:\/\/github.com\/ConsenSys\/mythril-classic , 2017 . ConsenSys. Mythril: a security analysis tool for ethereum smart contracts. https:\/\/github.com\/ConsenSys\/mythril-classic, 2017."},{"key":"e_1_3_2_1_9_1","unstructured":"Consensys Diligence. https:\/\/mythx.io\/.  Consensys Diligence. https:\/\/mythx.io\/."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-51280-4_34"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183485"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.110"},{"key":"e_1_3_2_1_15_1","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"Holzmann Gerard J.","year":"2003","unstructured":"Gerard J. Holzmann . The SPIN Model Checker: Primer and Reference Manual . Addison-Wesley Professional , 2003 . Gerard J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213874"},{"key":"e_1_3_2_1_18_1","volume-title":"Gasfuzz: Generating high gas consumption inputs to avoid out-ofgas vulnerability","author":"Ma Fuchen","year":"2019","unstructured":"Fuchen Ma , Ying Fu , Meng Ren , Wanting Sun , Zhe Liu , Yu Jiang , Jun Sun , and Jiaguang Sun . Gasfuzz: Generating high gas consumption inputs to avoid out-ofgas vulnerability , 2019 . Fuchen Ma, Ying Fu, Meng Ren, Wanting Sun, Zhe Liu, Yu Jiang, Jun Sun, and Jiaguang Sun. Gasfuzz: Generating high gas consumption inputs to avoid out-ofgas vulnerability, 2019."},{"key":"e_1_3_2_1_19_1","unstructured":"Bernhard Mueller. https:\/\/github.com\/b-mueller\/solfuzz.  Bernhard Mueller. https:\/\/github.com\/b-mueller\/solfuzz."},{"key":"e_1_3_2_1_20_1","first-page":"75","volume-title":"International Conference on Software Engineering","author":"Pacheco Carlos","year":"2007","unstructured":"Carlos Pacheco , Shuvendu K. Lahiri , Michael D. Ernst , and Thomas Ball . Feedbackdirected random test generation . In International Conference on Software Engineering , pages 75 - 84 , 2007 . Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, and Thomas Ball. Feedbackdirected random test generation. In International Conference on Software Engineering, pages 75-84, 2007."},{"key":"e_1_3_2_1_21_1","first-page":"275","volume-title":"Advances in Computers","author":"Papadakis Mike","year":"2019","unstructured":"Mike Papadakis , Marinos Kintis , Jie Zhang , Yue Jia , Yves Le Traon, and Mark Harman. Mutation testing advances: an analysis and survey . In Advances in Computers , volume 112 , pages 275 - 378 . Elsevier , 2019 . Mike Papadakis, Marinos Kintis, Jie Zhang, Yue Jia, Yves Le Traon, and Mark Harman. Mutation testing advances: an analysis and survey. In Advances in Computers, volume 112, pages 275-378. Elsevier, 2019."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00032"},{"key":"e_1_3_2_1_23_1","volume-title":"Echidna: Ethereum fuzz testing framework. https:\/\/github.com\/ crytic\/echidna","author":"Bits Trail","year":"2018","unstructured":"Trail of Bits . Echidna: Ethereum fuzz testing framework. https:\/\/github.com\/ crytic\/echidna , 2018 . Trail of Bits. Echidna: Ethereum fuzz testing framework. https:\/\/github.com\/ crytic\/echidna, 2018."},{"key":"e_1_3_2_1_24_1","volume-title":"Trail of bits security reviews. https:\/\/github.com\/trailofbits\/ publications#security-reviews","author":"Bits Trail","year":"2019","unstructured":"Trail of Bits . Trail of bits security reviews. https:\/\/github.com\/trailofbits\/ publications#security-reviews , 2019 . Trail of Bits. Trail of bits security reviews. https:\/\/github.com\/trailofbits\/ publications#security-reviews, 2019."},{"key":"e_1_3_2_1_25_1","unstructured":"Gavin Wood. Ethereum: a secure decentralised generalised transaction ledger. http:\/\/gavwood.com\/paper.pdf 2014.  Gavin Wood. Ethereum: a secure decentralised generalised transaction ledger. http:\/\/gavwood.com\/paper.pdf 2014."},{"key":"e_1_3_2_1_26_1","volume-title":"International Conference on Software Engineering","author":"W\u00fcstholz Valentin","year":"2020","unstructured":"Valentin W\u00fcstholz and Maria Christakis . Targeted greybox fuzzing with static lookahead analysis . In International Conference on Software Engineering , 2020 . Valentin W\u00fcstholz and Maria Christakis. Targeted greybox fuzzing with static lookahead analysis. In International Conference on Software Engineering, 2020."},{"key":"e_1_3_2_1_27_1","volume-title":"Accessed","author":"Zalewski Michal","year":"2016","unstructured":"Michal Zalewski . american fuzzy lop (2.35b). http:\/\/lcamtuf.coredump.cx\/afl\/ . Accessed December 20, 2016 . Michal Zalewski. american fuzzy lop (2.35b). http:\/\/lcamtuf.coredump.cx\/afl\/. Accessed December 20, 2016."}],"event":{"name":"ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Virtual Event USA","acronym":"ISSTA '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3395363.3404366","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3395363.3404366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:45Z","timestamp":1750199925000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3395363.3404366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,18]]},"references-count":27,"alternative-id":["10.1145\/3395363.3404366","10.1145\/3395363"],"URL":"https:\/\/doi.org\/10.1145\/3395363.3404366","relation":{},"subject":[],"published":{"date-parts":[[2020,7,18]]},"assertion":[{"value":"2020-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}