papers
Publications (6)
cs.SE2019
Harvey: A Greybox Fuzzer for Smart Contracts
Valentin Wüstholz, Maria Christakis
cs.SE2019
Targeted Greybox Fuzzing with Static Lookahead Analysis
Valentin Wüstholz, Maria Christakis
cs.SE2018
Specification Mining for Smart Contracts with Automatic Abstraction Tuning
Florentin Guth, Valentin Wüstholz, Maria Christakis +1
cs.SE2017
Failure-Directed Program Trimming (Extended Version)
Kostas Ferles, Valentin Wüstholz, Maria Christakis +1
cs.SE2018
Differentially Testing Soundness and Precision of Program Analyzers
Christian Klinger, Maria Christakis, Valentin Wüstholz
cs.CR2018
Learning Inputs in Greybox Fuzzing
Valentin Wüstholz, Maria Christakis