FediTest is a framework for testing distributed, heterogeneous systems with complex protocols like...