{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T16:38:23Z","timestamp":1776443903467,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:00:00Z","timestamp":1633910400000},"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":[[2021,10,11]]},"DOI":"10.1145\/3475716.3475779","type":"proceedings-article","created":{"date-parts":[[2021,10,6]],"date-time":"2021-10-06T11:43:50Z","timestamp":1633520630000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Testing Smart Contracts"],"prefix":"10.1145","author":[{"given":"Sefa","family":"Akca","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Peng","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ajitha","family":"Rajan","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,10,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2007.01.012"},{"key":"e_1_3_2_1_2_1","volume-title":"SolAnalyser: A Framework for Analysing and Testing Smart Contracts. In 2019 26th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 482--489","author":"Akca Sefa","year":"2019"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99241-9_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2018.12.008"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jocs.2014.01.003"},{"key":"e_1_3_2_1_8_1","volume-title":"Accessed on","author":"Bond Federico","year":"2020"},{"key":"e_1_3_2_1_9_1","volume-title":"Accessed on","year":"2020"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2018.02.002"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3391195"},{"key":"e_1_3_2_1_12_1","first-page":"1","article-title":"A simple, fast dominance algorithm","volume":"4","author":"Cooper Keith D","year":"2001","journal-title":"Software Practice & Experience"},{"key":"e_1_3_2_1_13_1","volume-title":"Accessed on","year":"2020"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.06.006"},{"key":"e_1_3_2_1_15_1","volume-title":"Accessed on","author":"Documentation Solidity","year":"2021"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380364"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 2nd Conference on Computer Science and Engineering. 21--28","author":"Edvardsson Jon","year":"1999"},{"key":"e_1_3_2_1_18_1","volume-title":"Accessed on","year":"2020"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897010.2897020"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2947146"},{"key":"e_1_3_2_1_22_1","volume-title":"Accessed on","author":"Fuzzer Platform The Peach","year":"2021"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934672"},{"key":"e_1_3_2_1_24_1","unstructured":"Karthick Jayaraman David Harvison Vijay Ganesh and Adam Kiezun. 2009. jFuzz: A concolic whitebox fuzzer for Java. (2009).  Karthick Jayaraman David Harvison Vijay Ganesh and Adam Kiezun. 2009. jFuzz: A concolic whitebox fuzzer for Java. (2009)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/3154690.3154755"},{"key":"e_1_3_2_1_27_1","volume-title":"Genetic algorithm: Review and application. Available at SSRN 3529843","author":"Kumar Manoj","year":"2010"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00136"},{"key":"e_1_3_2_1_29_1","volume-title":"Deepfuzzer: Accelerated deep greybox fuzzing","author":"Liang Jie","year":"2019"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.12.032"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635896"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931054"},{"key":"e_1_3_2_1_33_1","volume-title":"Accessed on","author":"Nemin Dalal","year":"2021"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380334"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/3489212.3489341"},{"key":"e_1_3_2_1_36_1","volume-title":"Accessed on","author":"Peng Chao","year":"2020"},{"key":"e_1_3_2_1_37_1","volume-title":"SIF: A Framework for Solidity Contract Instrumentation and Analysis. In 2019 26th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 466--473","author":"Peng Chao","year":"2019"},{"key":"e_1_3_2_1_38_1","volume-title":"CLTestCheck: Measuring Test Effectiveness for GPU Kernels. In International Conference on Fundamental Approaches to Software Engineering. Springer, 315--331","author":"Peng Chao","year":"2019"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3366428.3380768"},{"key":"e_1_3_2_1_40_1","volume-title":"Alexandru Razvan Caciulescu, and Abhik Roychoudhury.","author":"Pham Van-Thuan","year":"2019"},{"key":"e_1_3_2_1_41_1","volume-title":"Accessed on","year":"2020"},{"key":"e_1_3_2_1_42_1","unstructured":"David Siegel. [n.d.]. Understanding the DAO attack. http:\/\/www.coindesk.com\/understanding-dao-hack-journalists Accessed on: April 19 2020.  David Siegel. [n.d.]. Understanding the DAO attack. http:\/\/www.coindesk.com\/understanding-dao-hack-journalists Accessed on: April 19 2020."},{"key":"e_1_3_2_1_43_1","volume-title":"Accessed on","year":"2020"},{"key":"e_1_3_2_1_44_1","volume-title":"The idea of smart contracts. Nick Szabo's Papers and Concise Tutorials 6","author":"Szabo Nick","year":"1997"},{"key":"e_1_3_2_1_45_1","volume-title":"A genetic algorithm tutorial. Statistics and computing 4, 2","author":"Whitley Darrell","year":"1994"},{"key":"e_1_3_2_1_46_1","volume-title":"A secure decentralised generalised transaction ledger [J]. Ethereum project yellow paper 151","author":"Wood Gavin","year":"2014"},{"key":"e_1_3_2_1_47_1","volume-title":"American fuzzy lop (AFL). URL: http:\/\/lcamtuf.coredump.cx\/afl","author":"Zalewski Michal","year":"2017"}],"event":{"name":"ESEM '21: ACM \/ IEEE International Symposium on Empirical Software Engineering and Measurement","location":"Bari Italy","acronym":"ESEM '21","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 15th ACM \/ IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3475716.3475779","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3475716.3475779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:18Z","timestamp":1750193298000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3475716.3475779"}},"subtitle":["Which Technique Performs Best?"],"short-title":[],"issued":{"date-parts":[[2021,10,11]]},"references-count":47,"alternative-id":["10.1145\/3475716.3475779","10.1145\/3475716"],"URL":"https:\/\/doi.org\/10.1145\/3475716.3475779","relation":{},"subject":[],"published":{"date-parts":[[2021,10,11]]},"assertion":[{"value":"2021-10-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}