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

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

Browse the full ICSE paper archive.