Great post on using Quickcheck on new Erlang features: https://medium.com/@jlouis666/breaking-erlang-maps-1-31952b8729e6 Impressive that Quickcheck found 2^31-1 as a counterexample!
miniblog.
Related Posts
I am delighted to announce propcheck, a property-based testing library for #emacs lisp!
https://github.com/Wilfred/propcheck
If you like quickcheck or hypothesis, you should like this too!
Going beyond QuickCheck: using an SMT solver (based on Rosette) to intelligently generate test inputs that are diverse and hit interesting code paths!
https://youtu.be/Br16rvT_C00
Great article on the design of Hypothesis, and its advantages over a purely type-driven, QuickCheck style approach: