Bug characteristics in open source software
Bugbench: Benchmarks for evaluating bug detection tools