@InProceedings{fisc:bugs05,
        author = {Junfeng Yang and Paul Twohey and Ben Pfaff and Can Sar and Daw
son Engler},
        title = "{eXplode}: A Lightweight, General Approach for Finding Serious 
Errors in Storage Systems",
        booktitle = "Workshop on the Evaluation of Software Defect Detection Tools",
        year = {2005},
        month = Jun,
}