FediTest is a project for testing distributed, heterogeneous systems with complex protocols, such as...