A few billion lines of code later: Using static analysis to find bugs in the real world (2010)

by A BESSEY, K BLOCK, B CHELF, A CHOU, B FULTON, S HALLEM, C HENRI-GROS, A KAMSKY, S MCPEAK, D ENGLER
Venue:Communications of the ACM