Finding semantic bugs in file systems with an extensible fuzzing framework.

Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, Taesoo Kim

Browse the full SOSP paper archive.