A few billion lines of code later: using static analysis to find bugs in the real world. - Al Bessey; Ken Block; Benjamin Chelf; Andy Chou; Bryan Fulton; Seth Hallem; Charles-Henri Gros; Asya Kamsky; Scott McPeak; Dawson R. Engler (Commun. ACM, 2010)

Scalable and incremental software bug detection. - Scott McPeak; Charles-Henri Gros; Murali Krishna Ramanathan (ESEC/SIGSOFT FSE, 2013)