Now you&#x27;re getting the idea. QuickCheck is a good example. I was going to drop an example from safety-critical industry but there&#x27;s too many now for me to find it lol. Anyway, thanks to our discussion, I did find this great page with links to surveys, list of strategies, and listings of tools:<p><a href="http:&#x2F;&#x2F;mit.bme.hu&#x2F;~micskeiz&#x2F;pages&#x2F;code_based_test_generation.html" rel="nofollow">http:&#x2F;&#x2F;mit.bme.hu&#x2F;~micskeiz&#x2F;pages&#x2F;code_based_test_generation...</a><p>Enjoy!