Property-based testing of ERC-20 smart contracts - Célio Gil Gouveia Rodrigues (2020)