Turret: A Platform for Automated Attack Finding in Unmodified Distributed System Implementations
fate and destini : a framework for cloud recovery testing .