This is an excellent entry although a bit old ...
http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html
I like the epilogue the most:
"We programmers need all the help we can get, and we should never assume
otherwise. Careful design is great. Testing is great. Formal methods are great.
Code reviews are great. Static analysis is great. But none of these things alone
are sufficient to eliminate bugs: They will always be with us. A bug can exist
for half a century despite our best efforts to exterminate it. We must program
carefully, defensively, and remain ever vigilant."
Regards,
Kedar