Demo Data from EDBT 2026 / reviewers in the wild / expert
Will Song
dblp:162/0144
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2020
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Software testing · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
fuzzing |
0.4 | 1 | 2020 | Echidna: effective, usable, and fast fuzzing for smart contracts · ISSTA 2020 |
Software testing › fuzzing
smart contract fuzzing |
0.4 | 1 | 2020 | Echidna: effective, usable, and fast fuzzing for smart contracts · ISSTA 2020 |
Software testing
test generation |
0.4 | 1 | 2020 | Echidna: effective, usable, and fast fuzzing for smart contracts · ISSTA 2020 |
Methods — techniques the papers use, named apart from their topics
property violation detection · 0.4assertion checking · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | Echidna: effective, usable, and fast fuzzing for smart contractsabstractEthereum smart contracts---autonomous programs that run on a blockchain---often control transactions of financial and intellectual property. Because of the critical role they play, smart contracts need complete, comprehensive, and effective test generation. This paper introduces an open-source smart contract fuzzer called Echidna that makes it easy to automatically generate tests to detect violations in assertions and custom properties. Echidna is easy to install and does not require a complex configuration or deployment of contracts to a local blockchain. It offers responsive feedback, captures many property violations, and its default settings are calibrated based on experimental data. To date, Echidna has been used in more than 10 large paid security audits, and feedback from those audits has driven the features and user experience of Echidna, both in terms of practical usability (e.g., smart contract frameworks like Truffle and Embark) and test generation strategies. Echidna aims to be good at finding real bugs in smart contracts, with minimal user effort and maximal speed. Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce |
ISSTA | 2 |