If 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.

Software Testing Techniques (ed. Van Nostrand Reinhold Company, 1990)