@misc{lu05bugbench,
 author = "Shan Lu and Zhenmin Li and Feng Qin and Lin Tan and Pin Zhou and Yuanyuan Zhou",
 title = "Bug{B}ench: {A} Benchmark for Evaluating Bug Detection Tools.",
 booktitle ="In Workshop on the Evaluation of Software Defect Detection Tools Co-located with {PLDI}",
 month = "June",
 year ="2005",
}