Wrappers for QuickCheck and PropEr testing tools