TY  - RPRT
TI  - Automated Test-Case Generation for Solidity Smart Contracts: the AGSolT Approach and its Evaluation
AU  - Stefan Driessen
AU  - Dario Di Nucci
AU  - Geert Monsieur
AU  - Damian A. Tamburri
AU  - Willem-Jan van den Heuvel
PY  - 2022
UR  - https://arxiv.org/abs/2102.08864
ID  - 2102.08864
ER  -