Adding citations for Valgrind, Bugbench, and RIPE.