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

by J Yang, P Twohey, D Engler, M Musuvathi
Venue:In OSDI’04,