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!