Home
Talks
Projects
Publications
Contact
Blockchain
SolAR: Automated test-suite generation for solidity smart contracts
Smart contracts have rapidly gained popularity as self-contained pieces of code, especially those run on the Ethereum blockchain. On …
Stefan Driessen
,
Dario Di Nucci
,
Damian Tamburri
,
Willem-Jan van den Hevuvel
PDF
Cite
Dataset
Source Document
Validated Data Quality Assessment with "Skin in the Game: A Smart Contract Approach
A vision paper on how to effectively leverage staking as a way to make use of human expertise in blockchain environments.
Stefan Driessen
,
Geert Monsieur
,
Willem-Jan van den Heuvel
,
Damian Tamburri
PDF
Cite
DOI
Automated Test-Case Generation for Solidity Smart Contracts
A tool for automatically generating test suites that are optimised for branch coverage.
Stefan Driessen
,
Dario Di Nucci
,
Geert Monsieur
,
Willem-Jan van den Heuvel
PDF
Cite
Code
DOI
Staking Assets Management on Blockchains: Vision and Roadmap
A vision paper on how to effectively leverage staking as a way to make use of human expertise in blockchain environments.
Stefan Driessen
PDF
Cite
DOI
Cite
×