The article doesn't really get into many methods of verifying and testing software. If making unit tests was unusual up to very recently, who is to say that the

The article doesn't really get into many methods of verifying and testing software. If making unit tests was unusual up to very recently, who is to say that the current focus on unit tests isn't just a local optimum? - Generative testing; essentially randomized unit tests. Seems better when the alternative is to write a bunch of mostly similar unit tests with some parameters changed in an ad-hoc way. - The style of languages like Ada with asserts and pre/post conditions. Aided with powerful pragmas so that you can turn off checks for production builds (if that is wanted). - Expressive static type systems. - <You can probably inform me of even more approaches>