Search Results for author: Stefan Driessen

Found 1 papers, 1 papers with code

Automated Test-Case Generation for Solidity Smart Contracts: the AGSolT Approach and its Evaluation

1 code implementation17 Feb 2021 Stefan Driessen, Dario Di Nucci, Geert Monsieur, Willem-Jan van den Heuvel

Blockchain and smart contract technology are novel approaches to data and code management that facilitate trusted computing by allowing for development in a distributed and decentralized manner.

Software Engineering

Cannot find the paper you are looking for? You can Submit a new open access paper.