"Even perfect program verification can only establish that a program meets its specification. […] Much of the e…"

"Much to the surprise of the builders of the first digital computers, programs written for them usually did not work."

"bug, n: An elusive creature living in a program that makes it incorrect. The activity of "debugging", or removing bug…"

"If debugging is the process of removing bugs, then programming must be the process of putting them in."

"silver bullet (SIL-vuhr BOOL-it) noun: A quick solution to a thorny problem. [From the belief that werewolves could b…"

"From then on, when anything went wrong with a computer, we said it had bugs in it."

"The most effective debugging tool is still careful thought, coupled with judiciously placed print statements."

"Everyone knows that debugging is twice as hard as writing a program in the first place. So if you're as clever as you…"

"Beware of bugs in the above code; I have only proved it correct, not tried it."

"A documented bug is not a bug; it is a feature."