Well, there’s something to humans - testers in particular, who seem to be wired like hackers rather that programmers - that is superior to any fuzzing or “QuickCheck” approach. It’s the intuition, the art of second-guessing the mental model of the programmer that authored the code under test. That’s why it’s such a shameful tragedy to waste human capacity on scripted tests, the human factor should be authoring the automation.