Motto: "[...] program testing can be a very effective way to show the presence of bugs, but is hopelessly inadequate for showing their absence" (Edsger W. Dijkstra, "The Humble Programmer")