Oh, yeah - something like QuickCheck [0] is great! There are Java and C++ implementations as well, though I haven&#x27;t tried them. Definitely a nice alternative to traditional unit testing whenever possible. I don&#x27;t know how well it mixes with unrestricted IO like in Java etc though.<p>[0] <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;QuickCheck" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;QuickCheck</a>