Scalable testing of file system checkers.

Joo Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar

Browse the full EuroSys paper archive.