(The Humble Programmer) Edsger W. Dijkstra 1972 ACM Turing Award Lecture
http://www.unixuser.org/~euske/doc/dijkstra-ja/thehumbleprogrammer.html
The program test is a very efficient way to show Existence of bugs, but it is hopelessly inadequate for showing Absence of bugs.
This page is auto-translated from /nishio/謙虚なるプログラマ using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.