"Dijkstra wrote that testing can show the presence of bugs but cannot establish their absence."
Dijkstra's Notes on Structured Programming contains the historical observation about the asymmetry between finding defects and proving their absence through tests. The manuscript originated in 1969 and had a second edition in 1970, supporting the section's historical attribution.
View Source