PropEr: a QuickCheck-inspired property-based testing tool for Erlang