There are a ton of techniques to come up with properties when doing property-based testing, but one of the most powerful ones is modeling. In this webinar, we’ll quickly see how to use models for stateless and stateful properties.
Fred is the author of Learn You Some Erlang, Erlang in Anger, and more recently, Property-Based Testing with PropEr, Erlang, and Elixir. He is a maintainer of Rebar3, and of libraries such as recon, pobox, vmstats, and backoff. Twitter: https://twitter.com/mononcqc