A test that reveals a bug has succeeded, not failed.
Second law: The complexity barrier. Software complexity (and therefore that of bugs) grows to the limits of our ability to manage that complexity.
If you can't test it, don't build it. If you don't test it, rip it out.
Bugs lurk in corners and congregate at boundaries.
In programming, it’s often the buts in the specification that kill you.
Software never was perfect and won't get perfect. But is that a license to create garbage? The missing ingredient is our reluctance to quantify quality.