Program testing can be used to show the presence of bugs, but never to show their absence!
Thought is the most difficult task, which is why so few engage in it.