QuickCheck-inspired property-based testing tool for Erlang
