Scalable testing of file system checkers. - João Carlos Menezes Carreira; Rodrigo Rodrigues 001; George Candea; Rupak Majumdar (EuroSys, 2012)