SBCL is a Common Lisp compiler. I have been its Once and Future Release Manager. (I am its current Release Manager). The question of how to get good testing is perennial, as is my ambition to do more development. There's a good list of development projects (current as of Summer 2013) from the brainstorm before GSoC2013; empirically, the projects are three student-months of work.