V. Nesov, “Automatically Finding Bugs in Open Source Programs”, ECEASST, vol. 20, Nov. 2009.