Tests Show Presence of Bugs, Not Absence

Program testing can be used to show the presence of bugs, but never to show their absence

– E. W. Dijkstra (1970), Notes On Structured Programming.