Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
Using Model Checking to Find Serious File System Errors
OSDI, 2004.
@inproceedings{OSDI-2004-YangTEM,
author = "Junfeng Yang and Paul Twohey and Dawson R. Engler and Madanlal Musuvathi",
booktitle = "{Proceedings of the Sixth Symposium on Operating Systems Design and Implementation}",
ee = "http://www.usenix.org/events/osdi04/tech/yang.html",
pages = "273--288",
publisher = "{USENIX Association}",
title = "{Using Model Checking to Find Serious File System Errors}",
year = 2004,
}