News for hackers. Stuff that matters.
Re:Barliman: Prototype of a smart text editor by bryanh on Saturday July 30, 2016 @11:14PM (#12195582)
Immediately QuickCheck comes to mind (https://hackage.haskell.org/package/QuickCheck).

Folks have written (possibly less powerful) implementations in Python (https://github.com/HypothesisWorks/hypothesis-python), Javascript (https://github.com/jsverify/jsverify), etc.

FWIW I've found them fragile and lacking for my use cases - but I bet fuzzing style testing tools could be pretty valuable in certain cases.

There are no comments on this comment yet.