PropEr: a QuickCheck-inspired property-based testing tool for Erlang - View it on GitHub