AGSolT: a Tool for Automated Test-Case Generation for Solidity Smart Contracts

Stefan Driessen

    Research output: Other contribution

    Fingerprint

    Dive into the research topics of 'AGSolT: a Tool for Automated Test-Case Generation for Solidity Smart Contracts'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science