A federated society of bots for smart contract testing[J] JOURNAL OF SYSTEMS AND SOFTWARE 2020(168) Viglianisi, Emanuele Ceccato, Mariano Tonella, Paolo
