fate and destini : a framework for cloud recovery testing .
D3S: Debugging Deployed Distributed Systems