Scalable testing of file system checkers
fate and destini : a framework for cloud recovery testing .