@article{fisc:tocs,
    author = "Yang, Junfeng and Twohey, Paul and Engler, Dawson and Musuvathi, Madanlal",
    ids = "yang:fisc:tocs",
    title = "Using Model Checking to Find Serious File System Errors",
    journal = "ACM Transactions on Computer Systems",
    volume = "24",
    number = "4",
    pages = "393--423",
    month = "November",
    doi = "10.1145/1189256.1189259",
    pdfurl = "https://dl.acm.org/doi/pdf/10.1145/1189256.1189259",
    year = "2006"
}