Immediately QuickCheck comes to mind (https://hackage.haskell.org/package/QuickCheck https://hackage.haskell.org/package/QuickCheck). Folks have written (possi

Immediately QuickCheck comes to mind (https://hackage.haskell.org/package/QuickCheck https://hackage.haskell.org/package/QuickCheck). Folks have written (possibly less powerful) implementations in Python (https://github.com/HypothesisWorks/hypothesis-python https://github.com/HypothesisWorks/hypothesis-python), Javascript (https://github.com/jsverify/jsverify 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.