Describir: Testing a Distributed System.