12/21/2024

In science, we cannot prove our theories correct; we can only observe them to be incorrect. We perform these observations with well-designed and well-controlled experiments. Likewise, in software, we almost never try to prove our programs correct. Instead, we detect their incorrectness by conducting observations in the form of well-designed tests.

— Robert C. Martin, We, Programmers