Automated Testing

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
Automated Test-Case Generation for Solidity Smart Contracts