Property-based testing in Erlang, with some basic usage examples.