https://techplanet.today/post/techniques-to-improve-automated-verification