Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Will Song

dblp:162/0144 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Software testing
fuzzing
0.412020
Echidna: effective, usable, and fast fuzzing for smart contracts · ISSTA 2020
Software testing › fuzzing
smart contract fuzzing
0.412020
Echidna: effective, usable, and fast fuzzing for smart contracts · ISSTA 2020
Software testing
test generation
0.412020
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
YearPublicationVenuePosition
2020 Echidna: effective, usable, and fast fuzzing for smart contracts
abstract
Ethereum 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
ISSTA2