In programming, it’s often the buts in the specification that kill you.

A test that reveals a bug has succeeded, not failed.

Extra features were once considered desirable. We now recognize that 'free' features are rarely free. Any increase in generality that does not contribute to reliability, modularity, maintainability, and robustness should be suspected.

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.

Bugs lurk in corners and congregate at boundaries.

A design remedy that prevents bugs is always preferable to a test method that discovers them.

A good threat is worth a thousand tests.