Cross-checking semantic correctness: the case of finding file system bugs.

Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, Taesoo Kim

Browse the full SOSP paper archive.