@inproceedings {fisc:bugs05,
        author = {Junfeng Yang and Paul Twohey and Ben Pfaff and Can Sar and Dawson Engler},
        title = {{eXplode}: A Lightweight, General Approach for Finding Serious Errors in Storage Systems},
        year = {2005},
        month = {June},
        booktitle = {Proceedings of the first Workshop on the Evaluation of Software Defect Detection Tools (BUGS '05)},
}