SolTG: A CHC-Based Solidity Test Case Generator.

Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina

Browse the full CAV paper archive.