A few billion lines of code later

@article{Bessey2010AFB,
  title={A few billion lines of code later},
  author={Al Bessey and Ken Block and Benjamin Chelf and Andy Chou and B. Fulton and S. Hallem and Charles-Henri Gros and Asya Kamsky and Scott McPeak and D. Engler},
  journal={Communications of the ACM},
  year={2010},
  volume={53},
  pages={66 - 75}
}
  • Al Bessey, Ken Block, +7 authors D. Engler
  • Published 2010
  • Computer Science
  • Communications of the ACM
  • How Coverity built a bug-finding tool, and a business, around the unlimited supply of bugs in software systems. 
    529 Citations

    Topics from this paper

    Scaling static analyses at Facebook
    • 30
    • PDF
    Modern debugging
    • 5
    Moving Fast with Software Verification
    • 153
    • PDF
    API Misuse Detection in C Programs: Practice on SSL APIs
    • 1
    Software Needs Seatbelts and Airbags
    • 13
    • PDF
    How should static analysis tools explain anomalies to developers?
    • 4
    • PDF
    Comparing modifiability of React Native and two native codebases
    • 2
    • PDF
    A Falsification View of Success Typing
    • 2
    • PDF
    Path Projection : visualizing program paths
    • PDF