Gergely OroszI really agree with both these takes from Effective Software Testing by Mauricio Aniche:
1. That simple code won’t guarantee no bugs, and is not a replacement for testing
2. That the more you write tests, the less effort it becomes to do so.
Antonio Piccolboni@gergelyorosz Simple code likely requires fewer tests for the same level of confidence in its correctness. See Kolmogorov Complexity Justifies Software Engineering Heuristics https://scholarworks.utep.edu/cs_techrep/558/
Kolmogorov Complexity Justifies Software Engineering Heuristics
The "clean bill of health" produced by such a technique does not guarantee that the program is actually correct. In this paper, we show that several heuristic techniques for software testing that have been developed in software engineering can be rigorously justified. In this justification, we use Kolmogorov complexity to formalize the terms "simple" and "random" that these techniques use. The successful formalization of simple heuristics is a good indication that Kolmogorov complexity may be useful in formalizing more complicated heuristics as well.