Nesov, V. Automatically Finding Bugs in Open Source Programs. eceasst 2009, 20.