{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T07:32:18Z","timestamp":1775633538914,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":86,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T00:00:00Z","timestamp":1604793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Research Foundation (DFG)","award":["389792660 (TRR 248)"],"award-info":[{"award-number":["389792660 (TRR 248)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,8]]},"DOI":"10.1145\/3368089.3417064","type":"proceedings-article","created":{"date-parts":[[2020,11,10]],"date-time":"2020-11-10T21:08:44Z","timestamp":1605042524000},"page":"1398-1409","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":147,"title":["Harvey: a greybox fuzzer for smart contracts"],"prefix":"10.1145","author":[{"given":"Valentin","family":"W\u00fcstholz","sequence":"first","affiliation":[{"name":"ConsenSys, Germany"}]},{"given":"Maria","family":"Christakis","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,11,8]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"[n.d.]. The AFL Vulnerability Trophy Case. http:\/\/lcamtuf.coredump.cx\/afl\/#bugs. [n.d.]. The AFL Vulnerability Trophy Case. http:\/\/lcamtuf.coredump.cx\/afl\/#bugs."},{"key":"e_1_3_2_2_2_1","unstructured":"[n.d.]. Echidna. https:\/\/github.com\/trailofbits\/echidna. [n.d.]. Echidna. https:\/\/github.com\/trailofbits\/echidna."},{"key":"e_1_3_2_2_3_1","unstructured":"[n.d.]. Ethereum. https:\/\/github.com\/ethereum. [n.d.]. Ethereum. https:\/\/github.com\/ethereum."},{"key":"e_1_3_2_2_4_1","unstructured":"[n.d.]. Ethereum White Paper. https:\/\/github.com\/ethereum\/wiki\/wiki\/WhitePaper. [n.d.]. Ethereum White Paper. https:\/\/github.com\/ethereum\/wiki\/wiki\/WhitePaper."},{"key":"e_1_3_2_2_5_1","unstructured":"[n.d.]. LibFuzzer-A Library for Coverage-Guided Fuzz Testing. https:\/\/llvm. org\/docs\/LibFuzzer.html. [n.d.]. LibFuzzer-A Library for Coverage-Guided Fuzz Testing. https:\/\/llvm. org\/docs\/LibFuzzer.html."},{"key":"e_1_3_2_2_6_1","unstructured":"[n.d.]. Mythril. https:\/\/github.com\/ConsenSys\/mythril-classic. [n.d.]. Mythril. https:\/\/github.com\/ConsenSys\/mythril-classic."},{"key":"e_1_3_2_2_7_1","unstructured":"[n.d.]. Peach Fuzzer Platform. https:\/\/www.peach.tech\/products\/peach-fuzzer\/ peach-platform. [n.d.]. Peach Fuzzer Platform. https:\/\/www.peach.tech\/products\/peach-fuzzer\/ peach-platform."},{"key":"e_1_3_2_2_8_1","unstructured":"[n.d.]. Smart Contract Weakness Classification. https:\/\/swcregistry.io. [n.d.]. Smart Contract Weakness Classification. https:\/\/swcregistry.io."},{"key":"e_1_3_2_2_9_1","volume-title":"\u201cWhitepaper","author":"Technical","unstructured":"[n.d.]. Technical \u201cWhitepaper \u201d for AFL. http:\/\/lcamtuf.coredump.cx\/afl\/ technical_details.txt. [n.d.]. Technical \u201cWhitepaper\u201d for AFL. http:\/\/lcamtuf.coredump.cx\/afl\/ technical_details.txt."},{"key":"e_1_3_2_2_10_1","unstructured":"[n.d.]. Underhanded Solidity Coding Contest. http:\/\/u.solidity.cc. [n.d.]. Underhanded Solidity Coding Contest. http:\/\/u.solidity.cc."},{"key":"e_1_3_2_2_11_1","unstructured":"[n.d.]. zzuf-Multi-Purpose Fuzzer. http:\/\/caca.zoy.org\/wiki\/zzuf. [n.d.]. zzuf-Multi-Purpose Fuzzer. http:\/\/caca.zoy.org\/wiki\/zzuf."},{"key":"e_1_3_2_2_12_1","first-page":"66","article-title":"Towards Verifying Ethereum Smart Contract Bytecode in Isabelle\/HOL","author":"Amani Sidney","year":"2018","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 . 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.","journal-title":"CPP. ACM"},{"key":"e_1_3_2_2_13_1","volume-title":"Ernst","author":"Artzi Shay","year":"2010","unstructured":"Shay Artzi , Adam Kiezun , Julian Dolby , Frank Tip , Danny Dig , Amit M. Paradkar , and Michael D . Ernst . 2010 . Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. TSE 36 ( 2010 ), 474-494. Issue 4. Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, and Michael D. Ernst. 2010. Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. TSE 36 ( 2010 ), 474-494. Issue 4."},{"key":"e_1_3_2_2_14_1","volume-title":"FC (LNCS","author":"Bartoletti Massimo","unstructured":"Massimo Bartoletti and Livio Pompianu . 2017. An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns . In FC (LNCS , Vol. 10323 ). Springer , 494-509. Massimo Bartoletti and Livio Pompianu. 2017. An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns. In FC (LNCS, Vol. 10323 ). Springer, 494-509."},{"key":"e_1_3_2_2_15_1","first-page":"91","article-title":"Formal Verification of Smart Contracts","author":"Bhargavan Karthikeyan","year":"2016","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 . 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.","journal-title":"Short Paper. In PLAS. ACM"},{"key":"e_1_3_2_2_16_1","first-page":"2329","article-title":"Directed Greybox Fuzzing","author":"B\u00f6hme Marcel","year":"2017","unstructured":"Marcel B\u00f6hme , Van-Thuan Pham , Manh-Dung Nguyen , and Abhik Roychoudhury . 2017 . Directed Greybox Fuzzing . In CCS. ACM , 2329 - 2344 . Marcel B\u00f6hme, Van-Thuan Pham, Manh-Dung Nguyen, and Abhik Roychoudhury. 2017. Directed Greybox Fuzzing. In CCS. ACM, 2329-2344.","journal-title":"CCS. ACM"},{"key":"e_1_3_2_2_17_1","first-page":"1032","article-title":"CoverageBased Greybox Fuzzing as Markov Chain","author":"B\u00f6hme Marcel","year":"2016","unstructured":"Marcel B\u00f6hme , Van-Thuan Pham , and Abhik Roychoudhury . 2016 . CoverageBased Greybox Fuzzing as Markov Chain . In CCS. ACM , 1032 - 1043 . Marcel B\u00f6hme, Van-Thuan Pham, and Abhik Roychoudhury. 2016. CoverageBased Greybox Fuzzing as Markov Chain. In CCS. ACM, 1032-1043.","journal-title":"CCS. ACM"},{"key":"e_1_3_2_2_18_1","volume-title":"Vandal: A Scalable Security Analysis Framework for Smart Contracts. CoRR abs\/","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 ). 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_2_19_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. 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_2_20_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. 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_2_21_1","volume-title":"Engler","author":"Cadar Cristian","year":"2006","unstructured":"Cristian Cadar , Vijay Ganesh , Peter M. Pawlowski , David L. Dill , and Dawson R . Engler . 2006 . EXE : Automatically Generating Inputs of Death. In CCS. ACM , 322-335. Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, and Dawson R. Engler. 2006. EXE: Automatically Generating Inputs of Death. In CCS. ACM, 322-335."},{"key":"e_1_3_2_2_22_1","first-page":"380","article-title":"Unleashing Mayhem on Binary Code","author":"Cha Sang Kil","year":"2012","unstructured":"Sang Kil Cha , Thanassis Avgerinos , Alexandre Rebert , and David Brumley . 2012 . Unleashing Mayhem on Binary Code . In SP. IEEE Computer Society , 380 - 394 . Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert, and David Brumley. 2012. Unleashing Mayhem on Binary Code. In SP. IEEE Computer Society, 380-394.","journal-title":"SP. IEEE Computer Society"},{"key":"e_1_3_2_2_23_1","first-page":"725","article-title":"Program-Adaptive Mutational Fuzzing","author":"Cha Sang Kil","year":"2015","unstructured":"Sang Kil Cha , Maverick Woo , and David Brumley . 2015 . Program-Adaptive Mutational Fuzzing . In SP. IEEE Computer Society , 725 - 741 . Sang Kil Cha, Maverick Woo, and David Brumley. 2015. Program-Adaptive Mutational Fuzzing. In SP. IEEE Computer Society, 725-741.","journal-title":"SP. IEEE Computer Society"},{"key":"e_1_3_2_2_24_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. 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_2_25_1","first-page":"711","article-title":"Angora: Eficient Fuzzing by Principled Search","author":"Chen Peng","year":"2018","unstructured":"Peng Chen and Hao Chen . 2018 . Angora: Eficient Fuzzing by Principled Search . In SP. IEEE Computer Society , 711 - 725 . Peng Chen and Hao Chen. 2018. Angora: Eficient Fuzzing by Principled Search. In SP. IEEE Computer Society, 711-725.","journal-title":"SP. IEEE Computer Society"},{"key":"e_1_3_2_2_26_1","first-page":"442","article-title":"Under-Optimized Smart Contracts Devour your Money","author":"Chen Ting","year":"2017","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 . Ting Chen, Xiaoqi Li, Xiapu Luo, and Xiaosong Zhang. 2017. Under-Optimized Smart Contracts Devour your Money. In SANER. IEEE Computer Society, 442-446.","journal-title":"SANER. IEEE Computer Society"},{"key":"e_1_3_2_2_27_1","first-page":"265","article-title":"S2E","author":"Chipounov Vitaly","year":"2011","unstructured":"Vitaly Chipounov , Volodymyr Kuznetsov , and George Candea . 2011 . S2E : A Platform for In-Vivo Multi-Path Analysis of Software Systems. In ASPLOS. ACM , 265 - 278 . Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea. 2011. S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems. In ASPLOS. ACM, 265-278.","journal-title":"In ASPLOS. ACM"},{"key":"e_1_3_2_2_28_1","first-page":"736","article-title":"GreyBox Concolic Testing on Binary Code","author":"Choi Jaeseung","year":"2019","unstructured":"Jaeseung Choi , Joonun Jang , Choongwoo Han , and Sang Kil Cha . 2019 . GreyBox Concolic Testing on Binary Code . In ICSE. IEEE Computer Society\/ACM , 736 - 747 . Jaeseung Choi, Joonun Jang, Choongwoo Han, and Sang Kil Cha. 2019. GreyBox Concolic Testing on Binary Code. In ICSE. IEEE Computer Society\/ACM, 736-747.","journal-title":"ICSE. IEEE Computer Society\/ACM"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1145\/351240.351266","article-title":"QuickCheck","author":"Claessen Koen","year":"2000","unstructured":"Koen Claessen and John Hughes . 2000 . QuickCheck : A Lightweight Tool for Random Testing of Haskell Programs. In ICFP. ACM , 268 - 279 . Koen Claessen and John Hughes. 2000. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In ICFP. ACM, 268-279.","journal-title":"In ICFP. ACM"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"crossref","unstructured":"Christoph Csallner and Yannis Smaragdakis. 2004. JCrasher: An Automatic Robustness Tester for Java. SPE 34 ( 2004 ) 1025-1050. Issue 11. Christoph Csallner and Yannis Smaragdakis. 2004. JCrasher: An Automatic Robustness Tester for Java. SPE 34 ( 2004 ) 1025-1050. Issue 11.","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_2_31_1","first-page":"8","article-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 . Josselin Feist, Gustavo Grieco, and Alex Groce. 2019. Slither: A Static Analysis Framework for Smart Contracts. In WETSEB. IEEE Computer Society\/ACM, 8-15.","journal-title":"WETSEB. IEEE Computer Society\/ACM"},{"key":"e_1_3_2_2_32_1","first-page":"416","article-title":"EvoSuite: Automatic Test Suite Generation for Object-Oriented Software","author":"Fraser Gordon","year":"2011","unstructured":"Gordon Fraser and Andrea Arcuri . 2011 . EvoSuite: Automatic Test Suite Generation for Object-Oriented Software . In ESEC\/FSE. ACM , 416 - 419 . Gordon Fraser and Andrea Arcuri. 2011. EvoSuite: Automatic Test Suite Generation for Object-Oriented Software. In ESEC\/FSE. ACM, 416-419.","journal-title":"ESEC\/FSE. ACM"},{"key":"e_1_3_2_2_33_1","first-page":"306","article-title":"Achieving High Coverage for Floating-Point Code via Unconstrained Programming","author":"Fu Zhoulai","year":"2017","unstructured":"Zhoulai Fu and Zhendong Su . 2017 . Achieving High Coverage for Floating-Point Code via Unconstrained Programming . In PLDI. ACM , 306 - 319 . Zhoulai Fu and Zhendong Su. 2017. Achieving High Coverage for Floating-Point Code via Unconstrained Programming. In PLDI. ACM, 306-319.","journal-title":"PLDI. ACM"},{"key":"e_1_3_2_2_34_1","first-page":"474","article-title":"Taint-Based Directed Whitebox Fuzzing","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 . Vijay Ganesh, Tim Leek, and Martin C. Rinard. 2009. Taint-Based Directed Whitebox Fuzzing. In ICSE. IEEE Computer Society, 474-484.","journal-title":"ICSE. IEEE Computer Society"},{"key":"e_1_3_2_2_35_1","first-page":"132","article-title":"Feedback-Directed Unit Test Generation for C\/C++ Using Concolic Execution","author":"Garg Pranav","year":"2013","unstructured":"Pranav Garg , Franjo Ivan\u010di\u0107 , Gogul Balakrishnan , Naoto Maeda , and Aarti Gupta . 2013 . Feedback-Directed Unit Test Generation for C\/C++ Using Concolic Execution . In ICSE. IEEE Computer Society\/ACM , 132 - 141 . Pranav Garg, Franjo Ivan\u010di\u0107, Gogul Balakrishnan, Naoto Maeda, and Aarti Gupta. 2013. Feedback-Directed Unit Test Generation for C\/C++ Using Concolic Execution. In ICSE. IEEE Computer Society\/ACM, 132-141.","journal-title":"ICSE. IEEE Computer Society\/ACM"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1145\/2338965.2336773","article-title":"Probabilistic Symbolic Execution","author":"Geldenhuys Jaco","year":"2012","unstructured":"Jaco Geldenhuys , Matthew B. Dwyer , and Willem Visser . 2012 . Probabilistic Symbolic Execution . In ISSTA. ACM , 166 - 176 . Jaco Geldenhuys, Matthew B. Dwyer, and Willem Visser. 2012. Probabilistic Symbolic Execution. In ISSTA. ACM, 166-176.","journal-title":"ISSTA. ACM"},{"key":"e_1_3_2_2_37_1","first-page":"213","article-title":"DART","author":"Godefroid Patrice","year":"2005","unstructured":"Patrice Godefroid , Nils Klarlund , and Koushik Sen . 2005 . DART : Directed Automated Random Testing. In PLDI. ACM , 213 - 223 . Patrice Godefroid, Nils Klarlund, and Koushik Sen. 2005. DART: Directed Automated Random Testing. In PLDI. ACM, 213-223.","journal-title":"Directed Automated Random Testing. In PLDI. ACM"},{"key":"e_1_3_2_2_38_1","first-page":"151","article-title":"Automated Whitebox Fuzz Testing","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 . Patrice Godefroid, Michael Y. Levin, and David A. Molnar. 2008. Automated Whitebox Fuzz Testing. In NDSS. The Internet Society, 151-166.","journal-title":"NDSS. The Internet Society"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"crossref","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. 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.","DOI":"10.1145\/3276486"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"crossref","unstructured":"Shelly Grossman Ittai Abraham Guy Golan-Gueta Yan Michalevsky Noam Rinetzky Mooly Sagiv and Yoni Zohar. 2018. Online Detection of Efectively Callback Free Objects with Applications to Smart Contracts. PACMPL 2 ( 2018 ) 48 : 1-48 : 28. Issue POPL. Shelly Grossman Ittai Abraham Guy Golan-Gueta Yan Michalevsky Noam Rinetzky Mooly Sagiv and Yoni Zohar. 2018. Online Detection of Efectively Callback Free Objects with Applications to Smart Contracts. PACMPL 2 ( 2018 ) 48 : 1-48 : 28. Issue POPL.","DOI":"10.1145\/3158136"},{"key":"e_1_3_2_2_41_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 , Vol. 12031 ). Springer , 161-179. \u00c1kos Hajdu and Dejan Jovanovic. 2019. solc-verify: A Modular Verifier for Solidity Smart Contracts. In VSTTE (LNCS, Vol. 12031 ). Springer, 161-179."},{"key":"e_1_3_2_2_42_1","first-page":"49","article-title":"Dowsing for Overflows: A Guided Fuzzer to Find Bufer Boundary Violations. In Security","author":"Haller Istv\u00e1n","year":"2013","unstructured":"Istv\u00e1n Haller , Asia Slowinska , Matthias Neugschwandtner , and Herbert Bos . 2013 . Dowsing for Overflows: A Guided Fuzzer to Find Bufer Boundary Violations. In Security . USENIX , 49 - 64 . Istv\u00e1n Haller, Asia Slowinska, Matthias Neugschwandtner, and Herbert Bos. 2013. Dowsing for Overflows: A Guided Fuzzer to Find Bufer Boundary Violations. In Security. USENIX, 49-64.","journal-title":"USENIX"},{"key":"e_1_3_2_2_43_1","first-page":"531","article-title":"Learning to Fuzz from Symbolic Execution with Application to Smart Contracts","author":"He Jingxuan","year":"2019","unstructured":"Jingxuan He , Mislav Balunovi\u0107 , Nodar Ambroladze , Petar Tsankov , and Martin T. Vechev . 2019 . Learning to Fuzz from Symbolic Execution with Application to Smart Contracts . In CCS. ACM , 531 - 548 . Jingxuan He, Mislav Balunovi\u0107, Nodar Ambroladze, Petar Tsankov, and Martin T. Vechev. 2019. Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. In CCS. ACM, 531-548.","journal-title":"CCS. ACM"},{"key":"e_1_3_2_2_44_1","first-page":"425","article-title":"Evacon","author":"Inkumsah Kobi","year":"2007","unstructured":"Kobi Inkumsah and Tao Xie . 2007 . Evacon : A Framework for Integrating Evolutionary and Concolic Testing for Object-Oriented Programs. In ASE. ACM , 425 - 428 . Kobi Inkumsah and Tao Xie. 2007. Evacon: A Framework for Integrating Evolutionary and Concolic Testing for Object-Oriented Programs. In ASE. ACM, 425-428.","journal-title":"In ASE. ACM"},{"key":"e_1_3_2_2_45_1","first-page":"259","article-title":"ContractFuzzer","author":"Jiang Bo","year":"2018","unstructured":"Bo Jiang , Ye Liu , and W. K. Chan . 2018 . ContractFuzzer : Fuzzing Smart Contracts for Vulnerability Detection. In ASE. ACM , 259 - 269 . Bo Jiang, Ye Liu, and W. K. Chan. 2018. ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection. In ASE. ACM, 259-269.","journal-title":"Fuzzing Smart Contracts for Vulnerability Detection. In ASE. ACM"},{"key":"e_1_3_2_2_46_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 . 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_2_47_1","volume-title":"Daniel Gelatt Jr., and Mario P. Vecchi","author":"Kirkpatrick Scott","year":"1983","unstructured":"Scott Kirkpatrick , C. Daniel Gelatt Jr., and Mario P. Vecchi . 1983 . Optimization by Simulated Annealing. Science 220 ( 1983 ), 671-680. Issue 4598. Scott Kirkpatrick, C. Daniel Gelatt Jr., and Mario P. Vecchi. 1983. Optimization by Simulated Annealing. Science 220 ( 1983 ), 671-680. Issue 4598."},{"key":"e_1_3_2_2_48_1","first-page":"2123","article-title":"Evaluating Fuzz Testing","author":"Klees George","year":"2018","unstructured":"George Klees , Andrew Ruef , Benji Cooper , Shiyi Wei , and Michael Hicks . 2018 . Evaluating Fuzz Testing . In CCS. ACM , 2123 - 2138 . George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, and Michael Hicks. 2018. Evaluating Fuzz Testing. In CCS. ACM, 2123-2138.","journal-title":"CCS. ACM"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"crossref","unstructured":"Bogdan Korel. 1990. Automated Software Test Data Generation. TSE 16 ( 1990 ) 870-879. Issue 8. Bogdan Korel. 1990. Automated Software Test Data Generation. TSE 16 ( 1990 ) 870-879. Issue 8.","DOI":"10.1109\/32.57624"},{"key":"e_1_3_2_2_50_1","first-page":"1317","article-title":"teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts. In Security","author":"Krupp Johannes","year":"2018","unstructured":"Johannes Krupp and Christian Rossow . 2018 . teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts. In Security . USENIX , 1317 - 1333 . Johannes Krupp and Christian Rossow. 2018. teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts. In Security. USENIX, 1317-1333.","journal-title":"USENIX"},{"key":"e_1_3_2_2_51_1","first-page":"112","volume-title":"AUSTIN: An Open Source Tool for Search Based Software Testing of C Programs. IST 55 ( 2013 )","author":"Lakhotia Kiran","year":"2013","unstructured":"Kiran Lakhotia , Mark Harman , and Hamilton Gross . 2013 . AUSTIN: An Open Source Tool for Search Based Software Testing of C Programs. IST 55 ( 2013 ) , 112 - 125 . Issue 1. Kiran Lakhotia, Mark Harman, and Hamilton Gross. 2013. AUSTIN: An Open Source Tool for Search Based Software Testing of C Programs. IST 55 ( 2013 ), 112-125. Issue 1."},{"key":"e_1_3_2_2_52_1","volume-title":"ICTSS (LNCS","author":"Lakhotia Kiran","unstructured":"Kiran Lakhotia , Nikolai Tillmann , Mark Harman , and Jonathan de Halleux . 2010. FloPSy-Search-Based Floating Point Constraint Solving for Symbolic Execution . In ICTSS (LNCS , Vol. 6435 ). Springer , 142-157. Kiran Lakhotia, Nikolai Tillmann, Mark Harman, and Jonathan de Halleux. 2010. FloPSy-Search-Based Floating Point Constraint Solving for Symbolic Execution. In ICTSS (LNCS, Vol. 6435 ). Springer, 142-157."},{"key":"e_1_3_2_2_53_1","first-page":"254","article-title":"Making Smart Contracts Smarter","author":"Luu Loi","year":"2016","unstructured":"Loi Luu , Duc-Hiep Chu , Hrishi Olickel , Prateek Saxena , and Aquinas Hobor . 2016 . Making Smart Contracts Smarter . In CCS. ACM , 254 - 269 . Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016. Making Smart Contracts Smarter. In CCS. ACM, 254-269.","journal-title":"CCS. ACM"},{"key":"e_1_3_2_2_54_1","first-page":"105","volume-title":"Verif. Reliab. 14 ( 2004 )","author":"McMinn Phil","unstructured":"Phil McMinn . 2004. Search-Based Software Test Data Generation: A survey. Softw. Test ., Verif. Reliab. 14 ( 2004 ) , 105 - 156 . Issue 2. Phil McMinn. 2004. Search-Based Software Test Data Generation: A survey. Softw. Test., Verif. Reliab. 14 ( 2004 ), 105-156. Issue 2."},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"crossref","unstructured":"Nicholas Metropolis Arianna W. Rosenbluth Marshall N. Rosenbluth Augusta H. Teller and Edward Teller. 1953. Equation of State Calculations by Fast Computing Machines. The Journal of Chemical Physics 21 ( 1953 ) 1087-1092. Issue 6. Nicholas Metropolis Arianna W. Rosenbluth Marshall N. Rosenbluth Augusta H. Teller and Edward Teller. 1953. Equation of State Calculations by Fast Computing Machines. The Journal of Chemical Physics 21 ( 1953 ) 1087-1092. Issue 6.","DOI":"10.1063\/1.1699114"},{"key":"e_1_3_2_2_56_1","volume-title":"Spooner","author":"Miller Webb","year":"1976","unstructured":"Webb Miller and David L . Spooner . 1976 . Automatic Generation of Floating-Point Test Data. TSE 2 ( 1976 ), 223-226. Issue 3. Webb Miller and David L. Spooner. 1976. Automatic Generation of Floating-Point Test Data. TSE 2 ( 1976 ), 223-226. Issue 3."},{"key":"e_1_3_2_2_57_1","volume-title":"Manticore: A UserFriendly Symbolic Execution Framework for Binaries and Smart Contracts. CoRR abs\/","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 UserFriendly Symbolic Execution Framework for Binaries and Smart Contracts. CoRR abs\/ 1907.03890 ( 2019 ). Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, and Artem Dinaburg. 2019. Manticore: A UserFriendly Symbolic Execution Framework for Binaries and Smart Contracts. CoRR abs\/ 1907.03890 ( 2019 )."},{"key":"e_1_3_2_2_58_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. 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_2_59_1","first-page":"75","article-title":"Feedback-Directed Random Test Generation","author":"Pacheco Carlos","year":"2007","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 . Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, and Thomas Ball. 2007. Feedback-Directed Random Test Generation. In ICSE. IEEE Computer Society, 75-84.","journal-title":"ICSE. IEEE Computer Society"},{"key":"e_1_3_2_2_60_1","volume-title":"\u201cHybrid Fuzz Testing: Discovering Software Bugs via Fuzzing and Symbolic Execution\u201d. School of Computer Science","author":"Pak Brian S.","unstructured":"Brian S. Pak . 2012. Master's thesis \u201cHybrid Fuzz Testing: Discovering Software Bugs via Fuzzing and Symbolic Execution\u201d. School of Computer Science , Carnegie Mellon University , USA. Brian S. Pak. 2012. Master's thesis \u201cHybrid Fuzz Testing: Discovering Software Bugs via Fuzzing and Symbolic Execution\u201d. School of Computer Science, Carnegie Mellon University, USA."},{"key":"e_1_3_2_2_61_1","volume-title":"Mary Jean Harrold, and Robert Peck","author":"Pargas Roy P.","year":"1999","unstructured":"Roy P. Pargas , Mary Jean Harrold, and Robert Peck . 1999 . Test-Data Generation Using Genetic Algorithms. Softw. Test., Verif. Reliab. 9 ( 1999 ), 263-282. Issue 4. Roy P. Pargas, Mary Jean Harrold, and Robert Peck. 1999. Test-Data Generation Using Genetic Algorithms. Softw. Test., Verif. Reliab. 9 ( 1999 ), 263-282. Issue 4."},{"key":"e_1_3_2_2_62_1","first-page":"543","article-title":"Model-Based Whitebox Fuzzing for Program Binaries","author":"Pham Van-Thuan","year":"2016","unstructured":"Van-Thuan Pham , Marcel B\u00f6hme , and Abhik Roychoudhury . 2016 . Model-Based Whitebox Fuzzing for Program Binaries . In ASE. ACM , 543 - 553 . Van-Thuan Pham, Marcel B\u00f6hme, and Abhik Roychoudhury. 2016. Model-Based Whitebox Fuzzing for Program Binaries. In ASE. ACM, 543-553.","journal-title":"ASE. ACM"},{"key":"e_1_3_2_2_63_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 . Siraj Raval. 2016. Decentralized Applications: Harnessing Bitcoin's Blockchain Technology. O'Reilly Media."},{"key":"e_1_3_2_2_64_1","first-page":"1","article-title":"VUzzer","author":"Rawat Sanjay","year":"2017","unstructured":"Sanjay Rawat , Vivek Jain , Ashish Kumar , Lucian Cojocar , Cristiano Giufrida , and Herbert Bos . 2017 . VUzzer : Application-Aware Evolutionary Fuzzing. In NDSS. The Internet Society , 1 - 14 . Sanjay Rawat, Vivek Jain, Ashish Kumar, Lucian Cojocar, Cristiano Giufrida, and Herbert Bos. 2017. VUzzer: Application-Aware Evolutionary Fuzzing. In NDSS. The Internet Society, 1-14.","journal-title":"Application-Aware Evolutionary Fuzzing. In NDSS. The Internet Society"},{"key":"e_1_3_2_2_65_1","first-page":"861","article-title":"Optimizing Seed Selection for Fuzzing. In Security","author":"Rebert Alexandre","year":"2014","unstructured":"Alexandre Rebert , Sang Kil Cha , Thanassis Avgerinos , Jonathan Foote , David Warren , Gustavo Grieco , and David Brumley . 2014 . Optimizing Seed Selection for Fuzzing. In Security . USENIX , 861 - 875 . Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, and David Brumley. 2014. Optimizing Seed Selection for Fuzzing. In Security. USENIX, 861-875.","journal-title":"USENIX"},{"key":"e_1_3_2_2_66_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. 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_2_67_1","first-page":"9","article-title":"Views on Internal and External Validity in Empirical Software Engineering","author":"Siegmund Janet","year":"2015","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 . 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.","journal-title":"ICSE. IEEE Computer Society"},{"key":"e_1_3_2_2_68_1","volume-title":"Zhenkai Liang, James Newsome, Pongsin Poosankam, and Prateek Saxena.","author":"Song Dawn Xiaodong","year":"2008","unstructured":"Dawn Xiaodong Song , David Brumley , Heng Yin , Juan Caballero , Ivan Jager , Min Gyung Kang , Zhenkai Liang, James Newsome, Pongsin Poosankam, and Prateek Saxena. 2008 . BitBlaze: A New Approach to Computer Security via Binary Analysis. In ICISS (LNCS, Vol. 5352 ). Springer , 1-25. Dawn Xiaodong Song, David Brumley, Heng Yin, Juan Caballero, Ivan Jager, Min Gyung Kang, Zhenkai Liang, James Newsome, Pongsin Poosankam, and Prateek Saxena. 2008. BitBlaze: A New Approach to Computer Security via Binary Analysis. In ICISS (LNCS, Vol. 5352 ). Springer, 1-25."},{"key":"e_1_3_2_2_69_1","volume-title":"Pasareanu","author":"Souza Matheus","year":"2011","unstructured":"Matheus Souza , Mateus Borges , Marcelo d' Amorim , and Corina S . Pasareanu . 2011 . CORAL : Solving Complex Constraints for Symbolic PathFinder. In NFM (LNCS, Vol. 6617 ). Springer , 359-374. Matheus Souza, Mateus Borges, Marcelo d'Amorim, and Corina S. Pasareanu. 2011. CORAL: Solving Complex Constraints for Symbolic PathFinder. In NFM (LNCS, Vol. 6617 ). Springer, 359-374."},{"key":"e_1_3_2_2_70_1","first-page":"477","article-title":"Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting","author":"Sparks Sherri","year":"2007","unstructured":"Sherri Sparks , Shawn Embleton , Ryan Cunningham , and Clif Changchun Zou . 2007 . Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting . In ACSAC. IEEE Computer Society , 477 - 486 . Sherri Sparks, Shawn Embleton, Ryan Cunningham, and Clif Changchun Zou. 2007. Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting. In ACSAC. IEEE Computer Society, 477-486.","journal-title":"ACSAC. IEEE Computer Society"},{"key":"e_1_3_2_2_71_1","volume-title":"Driller: Augmenting Fuzzing Through Selective Symbolic Execution","author":"Stephens Nick","year":"2016","unstructured":"Nick Stephens , John Grosen , Christopher Salls , Andrew Dutcher , Ruoyu Wang , Jacopo Corbetta , Yan Shoshitaishvili , Christopher Kruegel , and Giovanni Vigna . 2016 . Driller: Augmenting Fuzzing Through Selective Symbolic Execution . In NDSS. The Internet Society . Nick Stephens, John Grosen, Christopher Salls, Andrew Dutcher, Ruoyu Wang, Jacopo Corbetta, Yan Shoshitaishvili, Christopher Kruegel, and Giovanni Vigna. 2016. Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS. The Internet Society."},{"key":"e_1_3_2_2_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 . Melanie Swan. 2015. Blockchain: Blueprint for a New Economy. O'Reilly Media."},{"key":"e_1_3_2_2_73_1","volume-title":"Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World","author":"Tapscott Don","year":"2016","unstructured":"Don Tapscott and Alex Tapscott . 2016 . Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World . Penguin . Don Tapscott and Alex Tapscott. 2016. Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World. Penguin."},{"key":"e_1_3_2_2_74_1","first-page":"193","article-title":"MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code","author":"Thummalapenta Suresh","year":"2009","unstructured":"Suresh Thummalapenta , Tao Xie , Nikolai Tillmann , Jonathan de Halleux , and Wolfram Schulte . 2009 . MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code . In ESEC\/FSE. ACM , 193 - 202 . Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. 2009. MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code. In ESEC\/FSE. ACM, 193-202.","journal-title":"ESEC\/FSE. ACM"},{"key":"e_1_3_2_2_75_1","first-page":"189","article-title":"Synthesizing Method Sequences for High-Coverage Testing","author":"Thummalapenta Suresh","year":"2011","unstructured":"Suresh Thummalapenta , Tao Xie , Nikolai Tillmann , Jonathan de Halleux , and Zhendong Su . 2011 . Synthesizing Method Sequences for High-Coverage Testing . In OOPSLA. ACM , 189 - 206 . Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Zhendong Su. 2011. Synthesizing Method Sequences for High-Coverage Testing. In OOPSLA. ACM, 189-206.","journal-title":"OOPSLA. ACM"},{"key":"e_1_3_2_2_76_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. 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_2_77_1","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/1007512.1007528","article-title":"Evolutionary Testing of Classes","author":"Tonella Paolo","year":"2004","unstructured":"Paolo Tonella . 2004 . Evolutionary Testing of Classes . In ISSTA. ACM , 119 - 128 . Paolo Tonella. 2004. Evolutionary Testing of Classes. In ISSTA. ACM, 119-128.","journal-title":"ISSTA. ACM"},{"key":"e_1_3_2_2_78_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. 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_2_79_1","volume-title":"Delaney","author":"Vargha Andr\u00e1s","year":"2000","unstructured":"Andr\u00e1s Vargha and Harold D . Delaney . 2000 . A Critique and Improvement of the CL Common Language Efect Size Statistics of McGraw and Wong. JEBS 25 ( 2000 ), 101-132. Issue 2. Andr\u00e1s Vargha and Harold D. Delaney. 2000. A Critique and Improvement of the CL Common Language Efect Size Statistics of McGraw and Wong. JEBS 25 ( 2000 ), 101-132. Issue 2."},{"key":"e_1_3_2_2_80_1","doi-asserted-by":"crossref","unstructured":"Shuai Wang Chengyu Zhang and Zhendong Su. 2019. Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts. PACMPL 3 ( 2019 ) 189 : 1-189 : 29. Issue OOPSLA. Shuai Wang Chengyu Zhang and Zhendong Su. 2019. Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts. PACMPL 3 ( 2019 ) 189 : 1-189 : 29. Issue OOPSLA.","DOI":"10.1145\/3360615"},{"key":"e_1_3_2_2_81_1","volume-title":"VSTTE (LNCS","author":"Wang Yuepeng","unstructured":"Yuepeng Wang , Shuvendu K. Lahiri , Shuo Chen , Rong Pan , Isil Dillig , Cody Born , Immad Naseer , and Kostas Ferles . 2019. Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain . In VSTTE (LNCS , Vol. 12031 ). Springer , 87-106. Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, and Kostas Ferles. 2019. Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. In VSTTE (LNCS, Vol. 12031 ). Springer, 87-106."},{"key":"e_1_3_2_2_82_1","first-page":"511","article-title":"Scheduling Black-Box Mutational Fuzzing","author":"Woo Maverick","year":"2013","unstructured":"Maverick Woo , Sang Kil Cha , Samantha Gottlieb , and David Brumley . 2013 . Scheduling Black-Box Mutational Fuzzing . In CCS. ACM , 511 - 522 . Maverick Woo, Sang Kil Cha, Samantha Gottlieb, and David Brumley. 2013. Scheduling Black-Box Mutational Fuzzing. In CCS. ACM, 511-522.","journal-title":"CCS. ACM"},{"key":"e_1_3_2_2_83_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. Gavin Wood. 2014. Ethereum: A Secure Decentralised Generalised Transaction Ledger. http:\/\/gavwood.com\/paper.pdf."},{"key":"e_1_3_2_2_84_1","doi-asserted-by":"crossref","unstructured":"Valentin W\u00fcstholz and Maria Christakis. 2020. Targeted Greybox Fuzzing with Static Lookahead Analysis. In ICSE. To appear. Valentin W\u00fcstholz and Maria Christakis. 2020. Targeted Greybox Fuzzing with Static Lookahead Analysis. In ICSE. To appear.","DOI":"10.1145\/3377811.3380388"},{"key":"e_1_3_2_2_85_1","volume-title":"Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. In TACAS (LNCS","author":"Xie Tao","year":"2005","unstructured":"Tao Xie , Darko Marinov , Wolfram Schulte , and David Notkin . 2005 . Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. In TACAS (LNCS , Vol. 3440 ). Springer , 365-381. Tao Xie, Darko Marinov, Wolfram Schulte, and David Notkin. 2005. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. In TACAS (LNCS, Vol. 3440 ). Springer, 365-381."},{"key":"e_1_3_2_2_86_1","first-page":"353","article-title":"Combined Static and Dynamic Automated Test Generation","author":"Zhang Sai","year":"2011","unstructured":"Sai Zhang , David Saf , Yingyi Bu , and Michael D. Ernst . 2011 . Combined Static and Dynamic Automated Test Generation . In ISSTA. ACM , 353 - 363 . Sai Zhang, David Saf, Yingyi Bu, and Michael D. Ernst. 2011. Combined Static and Dynamic Automated Test Generation. In ISSTA. ACM, 353-363.","journal-title":"ISSTA. ACM"}],"event":{"name":"ESEC\/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Virtual Event USA","acronym":"ESEC\/FSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3417064","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368089.3417064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:58Z","timestamp":1750197718000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3417064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,8]]},"references-count":86,"alternative-id":["10.1145\/3368089.3417064","10.1145\/3368089"],"URL":"https:\/\/doi.org\/10.1145\/3368089.3417064","relation":{},"subject":[],"published":{"date-parts":[[2020,11,8]]},"assertion":[{"value":"2020-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}