Related references
Note: Only part of the references are listed.Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Thomas Durieux et al.
2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020) (2020)
ETHPLOIT: From Fuzzing to Efficient Exploit Generation against Smart Contracts
Qingzhao Zhang et al.
PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20) (2020)
Coverage-Based Greybox Fuzzing as Markov Chain
Marcel Bohme et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2019)
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
William Zhang et al.
2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE) (2019)
FUDGE: Fuzz Driver Generation at Scale
Domagoj Babic et al.
ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (2019)
Matryoshka: Fuzzing Deeply Nested Branches
Peng Chen et al.
PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19) (2019)
Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing
Mingi Cho et al.
PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19) (2019)
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Jingxuan He et al.
PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19) (2019)
SECURIFY: Practical Security Analysis of Smart Contracts
Petar Tsankov et al.
PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18) (2018)
Evaluating Fuzz Testing
George Klees et al.
PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18) (2018)
T-Fuzz: fuzzing by program transformation
Hui Peng et al.
2018 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP) (2018)
Angora: Efficient Fuzzing by Principled Search
Peng Chen et al.
2018 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP) (2018)
OSIRIS: Hunting for Integer Bugs in Ethereum Smart Contracts
Christof Ferreira Torres et al.
34TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2018) (2018)
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
Ivica Nikolic et al.
34TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2018) (2018)
SmartCheck: Static Analysis of Ethereum Smart Contracts
Sergei Tikhomirov et al.
2018 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB) (2018)
A Survey of Attacks on Ethereum Smart Contracts (SoK)
Nicola Atzei et al.
PRINCIPLES OF SECURITY AND TRUST (POST 2017) (2017)
Directed Greybox Fuzzing
Marcel Bohme et al.
CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (2017)
Chizpurfle: A Gray-Box Android Fuzzer for Vendor Service Customizations
Antonio Ken Iannillo et al.
2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE) (2017)