“Testing may convincingly demonstrate the presence of bugs, but can never demonstrate their absence."- Edsger W. Dijkstra, Computing Pioneer (1930–2002), "Programming as a discipline of mathematical nature," Am. Math. Monthly, 81 (1974), No. 6, pp. 608–12.”