@neauoire
Thanks, that was an interesting read!
When it talks about testing, it's talking about model based testing, mostly. Property based testing goes a _long, long_ way towards fixing the issues with testing raised in the article: https://en.wikipedia.org/wiki/Software_testing#Property_testing