53 citations · 85 across the 12 of their papers we have counts for
3 papers · 1 filter
Differentially Testing Soundness and Precision of Program Analyzers
Christian Klinger, Maria Christakis, Valentin Wüstholz
In the last decades, numerous program analyzers have been developed both by academia and industry. Despite their abundance however, there is currently no systematic way of comparin…
Learning Inputs in Greybox Fuzzing
Valentin Wüstholz, Maria Christakis
Greybox fuzzing is a lightweight testing approach that effectively detects bugs and security vulnerabilities. However, greybox fuzzers randomly mutate program inputs to exercise ne…
Specification Mining for Smart Contracts with Automatic Abstraction Tuning
Florentin Guth, Valentin Wüstholz, Maria Christakis +1
Smart contracts are programs that manage digital assets according to a certain protocol, expressing for instance the rules of an auction. Understanding the possible behaviors of a…