{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T04:03:46Z","timestamp":1782878626648,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":80,"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":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["389792660"],"award-info":[{"award-number":["389792660"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377811.3380388","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T18:25:38Z","timestamp":1601576738000},"page":"789-800","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Targeted greybox fuzzing with static lookahead analysis"],"prefix":"10.1145","author":[{"given":"Valentin","family":"W\u00fcstholz","sequence":"first","affiliation":[{"name":"ConsenSys Diligence\/MythX, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maria","family":"Christakis","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. The AFL Vulnerability Trophy Case. http:\/\/lcamtuf.coredump.cx\/afl\/#bugs."},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. Echidna. https:\/\/github.com\/trailofbits\/echidna."},{"key":"e_1_3_2_1_3_1","unstructured":"[n.d.]. LibFuzzer---A Library for Coverage-Guided Fuzz Testing. https:\/\/llvm.org\/docs\/LibFuzzer.html."},{"key":"e_1_3_2_1_4_1","unstructured":"[n.d.]. Mythril. https:\/\/github.com\/ConsenSys\/mythril-classic."},{"key":"e_1_3_2_1_5_1","unstructured":"[n.d.]. Peach Fuzzer Platform. https:\/\/www.peach.tech\/products\/peach-fuzzer\/peach-platform."},{"key":"e_1_3_2_1_6_1","unstructured":"[n.d.]. Technical \"Whitepaper\" for AFL. http:\/\/lcamtuf.coredump.cx\/afl\/technical_details.txt."},{"key":"e_1_3_2_1_7_1","unstructured":"[n.d.]. Underhanded Solidity Coding Contest. http:\/\/u.solidity.cc."},{"key":"e_1_3_2_1_8_1","unstructured":"[n.d.]. zzuf---Multi-Purpose Fuzzer. http:\/\/caca.zoy.org\/wiki\/zzuf."},{"key":"e_1_3_2_1_9_1","unstructured":"2014. Ethereum White Paper. https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Sidney Amani Myriam B\u00e9gel Maksym Bortin and Mark Staples. 2018. Towards Verifying Ethereum Smart Contract Bytecode in Isabelle\/HOL. In CPP. ACM 66--77.","DOI":"10.1145\/3167084"},{"key":"e_1_3_2_1_11_1","volume-title":"TACAS (LNCS)","author":"Anand Saswat","unstructured":"Saswat Anand, Patrice Godefroid, and Nikolai Tillmann. 2008. Demand-Driven Compositional Symbolic Execution. In TACAS (LNCS), Vol. 4963. Springer, 367--381."},{"key":"e_1_3_2_1_12_1","volume-title":"Sang Kil Cha, and David Brumley","author":"Avgerinos Thanassis","year":"2014","unstructured":"Thanassis Avgerinos, Alexander Rebert, Sang Kil Cha, and David Brumley. 2014. Enhancing Symbolic Execution with Veritesting. In ICSE. ACM, 1083--1094."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Karthikeyan Bhargavan Antoine Delignat-Lavaud C\u00e9dric Fournet Anitha Gollamudi Georges Gonthier Nadim Kobeissi Natalia Kulatova Aseem Rastogi Thomas Sibut-Pinote Nikhil Swamy and Santiago Zanella-B\u00e9guelin. 2016. Formal Verification of Smart Contracts: Short Paper. In PLAS. ACM 91--96.","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Marcel B\u00f6hme Van-Thuan Pham Manh-Dung Nguyen and Abhik Roychoudhury. 2017. Directed Greybox Fuzzing. In CCS. ACM 2329--2344.","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Marcel B\u00f6hme Van-Thuan Pham and Abhik Roychoudhury. 2016. Coverage-Based Greybox Fuzzing as Markov Chain. In CCS. ACM 1032--1043.","DOI":"10.1145\/2976749.2978428"},{"key":"e_1_3_2_1_16_1","volume-title":"Vandal: A Scalable Security Analysis Framework for Smart Contracts. CoRR abs\/1809.03981","author":"Brent Lexi","year":"2018","unstructured":"Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Fran\u00e7ois Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz. 2018. Vandal: A Scalable Security Analysis Framework for Smart Contracts. CoRR abs\/1809.03981 (2018)."},{"key":"e_1_3_2_1_17_1","volume-title":"Engler","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI. USENIX, 209--224."},{"key":"e_1_3_2_1_18_1","volume-title":"Engler","author":"Cadar Cristian","year":"2005","unstructured":"Cristian Cadar and Dawson R. Engler. 2005. Execution Generated Test Cases: How to Make Systems Code Crash Itself. In SPIN (LNCS), Vol. 3639. Springer, 2--23."},{"key":"e_1_3_2_1_19_1","volume-title":"Amir Kafshdar Goharshady, and Yaron Velner","author":"Chatterjee Krishnendu","year":"2018","unstructured":"Krishnendu Chatterjee, Amir Kafshdar Goharshady, and Yaron Velner. 2018. Quantitative Analysis of Smart Contracts. In ESOP (LNCS), Vol. 10801. Springer, 739--767."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243849"},{"key":"e_1_3_2_1_21_1","volume-title":"Under-Optimized Smart Contracts Devour your Money","author":"Chen Ting","unstructured":"Ting Chen, Xiaoqi Li, Xiapu Luo, and Xiaosong Zhang. 2017. Under-Optimized Smart Contracts Devour your Money. In SANER. IEEE Computer Society, 442--446."},{"key":"e_1_3_2_1_22_1","volume-title":"Raveendra Kumar Medicherla, and R. Venkatesh","author":"Chowdhury Animesh Basak","year":"2019","unstructured":"Animesh Basak Chowdhury, Raveendra Kumar Medicherla, and R. Venkatesh. 2019. VeriFuzz: Program Aware Fuzzing---(Competition Contribution). In TACAS (LNCS), Vol. 11429. Springer, 244--249."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Maria Christakis Peter M\u00fcller and Valentin W\u00fcstholz. 2016. Guiding Dynamic Symbolic Execution Toward Unverifed Program Executions. In ICSE. ACM 144--155.","DOI":"10.1145\/2884781.2884843"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Koen Claessen and John Hughes. 2000. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In ICFP. ACM 268--279.","DOI":"10.1145\/357766.351266"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. 1979. Systematic Design of Program Analysis Frameworks. In POPL. ACM 269--282.","DOI":"10.1145\/567752.567778"},{"key":"e_1_3_2_1_28_1","first-page":"1025","article-title":"JCrasher: An Automatic Robustness Tester for Java","volume":"34","author":"Csallner Christoph","year":"2004","unstructured":"Christoph Csallner and Yannis Smaragdakis. 2004. JCrasher: An Automatic Robustness Tester for Java. SPE 34 (2004), 1025--1050. Issue 11.","journal-title":"SPE"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Christoph Csallner and Yannis Smaragdakis. 2005. Check 'n' Crash: Combining Static Checking and Testing. In ICSE. ACM 422--431.","DOI":"10.1145\/1062455.1062533"},{"key":"e_1_3_2_1_30_1","volume-title":"FASE (LNCS)","author":"Czech Mike","unstructured":"Mike Czech, Marie-Christine Jakobs, and Heike Wehrheim. 2015. Just Test What You Cannot Verify!. In FASE (LNCS), Vol. 9033. Springer, 100--114."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"David Devecsery Peter M. Chen Jason Flinn and Satish Narayanasamy. 2018. Optimistic Hybrid Analysis: Accelerating Dynamic Analysis Through Predicated Static Analysis. In ASPLOS. ACM 348--362.","DOI":"10.1145\/3296957.3177153"},{"key":"e_1_3_2_1_32_1","volume-title":"Dwyer and Rahul Purandare","author":"Matthew","year":"2007","unstructured":"Matthew B. Dwyer and Rahul Purandare. 2007. Residual Dynamic Typestate Analysis Exploiting Static Analysis: Results to Reformulate and Reduce the Cost of Dynamic Analysis. In ASE. ACM, 124--133."},{"key":"e_1_3_2_1_33_1","volume-title":"FoVeOOS (LNCS)","author":"F\u00e4hndrich Manuel","unstructured":"Manuel F\u00e4hndrich and Francesco Logozzo. 2010. Static Contract Checking with Abstract Interpretation. In FoVeOOS (LNCS), Vol. 6528. Springer, 10--30."},{"key":"e_1_3_2_1_34_1","volume-title":"Slither: A Static Analysis Framework for Smart Contracts","author":"Feist Josselin","year":"2019","unstructured":"Josselin Feist, Gustavo Grieco, and Alex Groce. 2019. Slither: A Static Analysis Framework for Smart Contracts. In WETSEB. IEEE Computer Society\/ACM, 8--15."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Kostas Ferles Valentin W\u00fcstholz Maria Christakis and Isil Dillig. 2017. Failure-Directed Program Trimming. In ESEC\/FSE. ACM 174--185.","DOI":"10.1145\/3106237.3106249"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Cormac Flanagan K. Rustan M. Leino Mark Lillibridge Greg Nelson James B. Saxe and Raymie Stata. 2002. Extended Static Checking for Java. In PLDI. ACM 234--245.","DOI":"10.1145\/543552.512558"},{"key":"e_1_3_2_1_37_1","volume-title":"Rinard","author":"Ganesh Vijay","year":"2009","unstructured":"Vijay Ganesh, Tim Leek, and Martin C. Rinard. 2009. Taint-Based Directed Whitebox Fuzzing. In ICSE. IEEE Computer Society, 474--484."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Xi Ge Kunal Taneja Tao Xie and Nikolai Tillmann. 2011. DyTa: Dynamic Symbolic Execution Guided with Static Verification Results. In ICSE. ACM 992--994.","DOI":"10.1145\/1985793.1985971"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Patrice Godefroid. 2007. Compositional Dynamic Test Generation. In POPL. ACM 47--54.","DOI":"10.1145\/1190215.1190226"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_41_1","volume-title":"Molnar","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid, Michael Y. Levin, and David A. Molnar. 2008. Automated Whitebox Fuzz Testing. In NDSS. The Internet Society, 151--166."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Patrice Godefroid Aditya V. Nori Sriram K. Rajamani and SaiDeep Tetali. 2010. Compositional May-Must Program Analysis: Unleashing the Power of Alternation. In POPL. ACM 43--56.","DOI":"10.1145\/1707801.1706307"},{"key":"e_1_3_2_1_43_1","volume-title":"MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts. PACMPL 2","author":"Grech Neville","year":"2018","unstructured":"Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis. 2018. MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts. PACMPL 2 (2018), 116:1--116:27. Issue OOPSLA."},{"key":"e_1_3_2_1_44_1","volume-title":"Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts. PACMPL 2","author":"Grossman Shelly","year":"2018","unstructured":"Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, and Yoni Zohar. 2018. Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts. PACMPL 2 (2018), 48:1--48:28. Issue POPL."},{"key":"e_1_3_2_1_45_1","volume-title":"VSTTE (LNCS)","author":"Hajdu \u00c1kos","unstructured":"\u00c1kos Hajdu and Dejan Jovanovic. 2019. solc-verify: A Modular Verifier for Solidity Smart Contracts. In VSTTE (LNCS). Springer. To appear."},{"key":"e_1_3_2_1_46_1","unstructured":"Istv\u00e1n Haller Asia Slowinska Matthias Neugschwandtner and Herbert Bos. 2013. Dowsing for Overflows: A Guided Fuzzer to Find Buffer Boundary Violations. In Security. USENIX 49--64."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Bo Jiang Ye Liu and W. K. Chan. 2018. ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection. In ASE. ACM 259--269.","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_48_1","volume-title":"ZEUS: Analyzing Safety of Smart Contracts","author":"Kalra Sukrit","year":"2018","unstructured":"Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018. ZEUS: Analyzing Safety of Smart Contracts. In NDSS. The Internet Society."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Gary A. Kildall. 1973. A Unified Approach to Global Program Optimization. In POPL. ACM 194--206.","DOI":"10.1145\/512927.512945"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"George Klees Andrew Ruef Benji Cooper Shiyi Wei and Michael Hicks. 2018. Evaluating Fuzz Testing. In CCS. ACM 2123--2138.","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_52_1","unstructured":"Johannes Krupp and Christian Rossow. 2018. teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts. In Security. USENIX 1317--1333."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","unstructured":"Volodymyr Kuznetsov Johannes Kinder Stefan Bucur and George Candea. 2012. Efficient State Merging in Symbolic Execution. In PLDI. ACM 193--204.","DOI":"10.1145\/2345156.2254088"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"Caroline Lemieux and Koushik Sen. 2018. FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage. In ASE. ACM 475--485.","DOI":"10.1145\/3238147.3238176"},{"key":"e_1_3_2_1_55_1","volume-title":"Steelix: Program-State Based Binary Fuzzing. In ESEC\/FSE. ACM, 627--637.","author":"Li Yuekang","year":"2017","unstructured":"Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, and Alwen Tiu. 2017. Steelix: Program-State Based Binary Fuzzing. In ESEC\/FSE. ACM, 627--637."},{"key":"e_1_3_2_1_56_1","volume-title":"V-Fuzz: Vulnerability-Oriented Evolutionary Fuzzing. CoRR abs\/1901.01142","author":"Li Yuwei","year":"2019","unstructured":"Yuwei Li, Shouling Ji, Chenyang Lv, Yuan Chen, Jianhai Chen, Qinchen Gu, and Chunming Wu. 2019. V-Fuzz: Vulnerability-Oriented Evolutionary Fuzzing. CoRR abs\/1901.01142 (2019)."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"You Li Zhendong Su Linzhang Wang and Xuandong Li. 2013. Steering Symbolic Execution to Less Traveled Paths. In OOPSLA. ACM 19--32.","DOI":"10.1145\/2544173.2509553"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Loi Luu Duc-Hiep Chu Hrishi Olickel Prateek Saxena and Aquinas Hobor. 2016. Making Smart Contracts Smarter. In CCS. ACM 254--269.","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_60_1","volume-title":"Jeffrey S. Foster, and Michael Hicks.","author":"Ma Kin-Keung","year":"2011","unstructured":"Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks. 2011. Directed Symbolic Execution. In SAS (LNCS), Vol. 6887. Springer, 95--111."},{"key":"e_1_3_2_1_61_1","volume-title":"GRT: Program-Analysis-Guided Random Testing","author":"Ma Lei","year":"2015","unstructured":"Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, and Rudolf Ramler. 2015. GRT: Program-Analysis-Guided Random Testing. In ASE. IEEE Computer Society, 212--223."},{"key":"e_1_3_2_1_62_1","volume-title":"Hybrid Concolic Testing","author":"Majumdar Rupak","unstructured":"Rupak Majumdar and Koushik Sen. 2007. Hybrid Concolic Testing. In ICSE. IEEE Computer Society, 416--426."},{"key":"e_1_3_2_1_63_1","volume-title":"KATCH: High-Coverage Testing of Software Patches. In ESEC\/FSE. ACM, 235--245.","author":"Marinescu Paul Dan","year":"2013","unstructured":"Paul Dan Marinescu and Cristian Cadar. 2013. KATCH: High-Coverage Testing of Software Patches. In ESEC\/FSE. ACM, 235--245."},{"key":"e_1_3_2_1_64_1","volume-title":"Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. CoRR abs\/1907.03890","author":"Mossberg Mark","year":"2019","unstructured":"Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, and Artem Dinaburg. 2019. Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. CoRR abs\/1907.03890 (2019)."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"crossref","unstructured":"Ivica Nikolic Aashish Kolluri Ilya Sergey Prateek Saxena and Aquinas Hobor. 2018. Finding the Greedy Prodigal and Suicidal Contracts at Scale. (2018) 653--663.","DOI":"10.1145\/3274694.3274743"},{"key":"e_1_3_2_1_66_1","volume-title":"Thakur","author":"Nori Aditya V.","year":"2009","unstructured":"Aditya V. Nori, Sriram K. Rajamani, Saideep Tetali, and Aditya V. Thakur. 2009. The YOGI Project: Software Property Checking via Static Analysis and Testing. In TACAS (LNCS), Vol. 5505. Springer, 178--181."},{"key":"e_1_3_2_1_67_1","volume-title":"Feedback-Directed Random Test Generation","author":"Pacheco Carlos","unstructured":"Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, and Thomas Ball. 2007. Feedback-Directed Random Test Generation. In ICSE. IEEE Computer Society, 75--84."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"crossref","unstructured":"Sangmin Park B. M. Mainul Hossain Ishtiaque Hussain Christoph Csallner Mark Grechanik Kunal Taneja Chen Fu and Qing Xie. 2012. CarFast: Achieving Higher Statement Coverage Faster. In FSE. ACM 35.","DOI":"10.1145\/2393596.2393636"},{"key":"e_1_3_2_1_69_1","volume-title":"Decentralized Applications: Harnessing Bitcoin's Blockchain Technology","author":"Raval Siraj","year":"2016","unstructured":"Siraj Raval. 2016. Decentralized Applications: Harnessing Bitcoin's Blockchain Technology. O'Reilly Media."},{"key":"e_1_3_2_1_70_1","volume-title":"CAV (LNCS)","author":"Sen Koushik","unstructured":"Koushik Sen and Gul Agha. 2006. CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. In CAV (LNCS), Vol. 4144. Springer, 419--423."},{"key":"e_1_3_2_1_71_1","volume-title":"Views on Internal and External Validity in Empirical Software Engineering","author":"Siegmund Janet","unstructured":"Janet Siegmund, Norbert Siegmund, and Sven Apel. 2015. Views on Internal and External Validity in Empirical Software Engineering. In ICSE. IEEE Computer Society, 9--19."},{"key":"e_1_3_2_1_72_1","volume-title":"Blockchain: Blueprint for a New Economy","author":"Swan Melanie","year":"2015","unstructured":"Melanie Swan. 2015. Blockchain: Blueprint for a New Economy. O'Reilly Media."},{"key":"e_1_3_2_1_73_1","volume-title":"TAP (LNCS)","author":"Tillmann Nikolai","unstructured":"Nikolai Tillmann and Jonathan de Halleux. 2008. Pex---White Box Test Generation for .NET. In TAP (LNCS), Vol. 4966. Springer, 134--153."},{"key":"e_1_3_2_1_74_1","volume-title":"Dana Drachsler-Cohen, Arthur Gervais, Florian B\u00fcnzli, and Martin T. Vechev.","author":"Tsankov Petar","year":"2018","unstructured":"Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian B\u00fcnzli, and Martin T. Vechev. 2018. Securify: Practical Security Analysis of Smart Contracts. In CCS. ACM, 67--82."},{"key":"e_1_3_2_1_75_1","first-page":"101","article-title":"A Critique and Improvement of the CL Common Language Effect Size Statistics of McGraw and Wong","volume":"25","author":"Vargha Andr\u00e1s","year":"2000","unstructured":"Andr\u00e1s Vargha and Harold D. Delaney. 2000. A Critique and Improvement of the CL Common Language Effect Size Statistics of McGraw and Wong. JEBS 25 (2000), 101--132. Issue 2.","journal-title":"JEBS"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183494"},{"key":"e_1_3_2_1_77_1","volume-title":"VSTTE (LNCS)","author":"Wang Yuepeng","unstructured":"Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, and Immad Naseer. 2019. Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. In VSTTE (LNCS). Springer. To appear."},{"key":"e_1_3_2_1_78_1","volume-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood. 2014. Ethereum: A Secure Decentralised Generalised Transaction Ledger. http:\/\/gavwood.com\/paper.pdf."},{"key":"e_1_3_2_1_79_1","volume-title":"Harvey: A Greybox Fuzzer for Smart Contracts. CoRR abs\/1905.06944","author":"W\u00fcstholz Valentin","year":"2019","unstructured":"Valentin W\u00fcstholz and Maria Christakis. 2019. Harvey: A Greybox Fuzzer for Smart Contracts. CoRR abs\/1905.06944 (2019)."},{"key":"e_1_3_2_1_80_1","volume-title":"Targeted Greybox Fuzzing with Static Lookahead Analysis. CoRR abs\/1905.07147","author":"W\u00fcstholz Valentin","year":"2019","unstructured":"Valentin W\u00fcstholz and Maria Christakis. 2019. Targeted Greybox Fuzzing with Static Lookahead Analysis. CoRR abs\/1905.07147 (2019)."}],"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.3380388","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380388","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:39Z","timestamp":1750200099000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380388"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":80,"alternative-id":["10.1145\/3377811.3380388","10.1145\/3377811"],"URL":"https:\/\/doi.org\/10.1145\/3377811.3380388","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"}}]}}