Ken Block
Al Bessey
Ken Block
Benjamin Chelf
Andy Chou
Bryan Fulton
Seth Hallem
Charles-Henri Gros
Asya Kamsky
Scott McPeak
Dawson R. Engler
A few billion lines of code later: using static analysis to find bugs in the real world.
66-75
2010
53
Commun. ACM
2
https://doi.org/10.1145/1646353.1646374
https://www.wikidata.org/entity/Q61795081
db/journals/cacm/cacm53.html#BesseyBCCFHHKME10
Al Bessey
Benjamin Chelf
Andy Chou
Dawson R. Engler
Bryan Fulton
Charles-Henri Gros
Seth Hallem
Asya Kamsky
Scott McPeak