Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).

Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi

Browse the full OSDI paper archive.