Summary of: A Federated Society of Bots for Smart Contract Testing