Second law: The complexity barrier. Software complexity (and therefore that of bugs) grows to the limits of our ability to manage that complexity.
Boris BeizerA design remedy that prevents bugs is always preferable to a test method that discovers them.
Boris BeizerOne of the saddest sights to me has always been a human at a keyboard doing something by hand that could be automated. It's sad but hilarious.
Boris BeizerIf the objective of testing were to prove that a program is free of bugs, then not only would testing be practically impossible, but it would also be theoretically impossible.
Boris Beizer