Scalable testing of file system checkers
Analyzing the effects of disk-pointer corruption