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