Key points are not available for this paper at this time.
How Coverity built a bug-finding tool, and a business, around the unlimited supply of bugs in software systems.
Bessey et al. (Tue,) studied this question.