Cross-checking Semantic Correctness: The Case of Finding File System Bugs

No ratings

Presented at SOSP 2015 by

Taesoo Kim

Byoungyoung Lee

Chengyu Song

Changwoo Min

Sanidhya Kashyap

N/A