test case generation

SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts

Ethereum is the largest and most prominent smart contract platform. One key property of Ethereum is that once a contract is deployed, …

Mitchell Olsthoorn, Dimitri Stallenberg, Arie van Deursen, Annibale Panichella