Using model checking to find serious file system errors (2004)

by J Yang, P Twohey, D Engler, M Musuvathi
Venue:In Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI ’04