Property-based testing began with John Hughes experimenting with testing formal specifications for programs during a break in the late nineties. This led to the creation of QuickCheck, a lightweight tool for random testing in Haskell, which later expanded to test mutable state and I/O operations. Quviq AB was founded by John and Thomas Arts in 2006 to develop an Erlang version of QuickCheck, emphasizing Sequential and Parallel property-based testing. Many open-source libraries today lack these advanced features since they require a different way of thinking and training to use effectively. While controversial, a closed-source approach like Quviq’s has been more successful in industry adoption than open-source alternatives.
https://stevana.github.io/the_sad_state_of_property-based_testing_libraries.html