Program testing can be quite effective for showing the presence of bugs, but is hopelessly inadequate for showing their absence.
--Edsger W. Dijstra, 1976