QuickCheck Mini for Elixir

Thomas Arts
Writing Erlang and QuickCheck on a daily Basis

In September we released the QuickCheck Mini 2.0, the second free, scaled down, version of QuickCheck. With QuickCheck Mini you can generate tests automatically. By specifying a data generator and a property of the software that should hold, QuickCheck generates test cases that verify whether your property indeed holds.

This talk introduces you to QuickCheck Mini and the cool things you can do with it from an Elixir user perspective.

Talk objectives:

- Learn property-based testing

Target audience:

- Elixir programmers, but  Erlang programmers are very welcome


Thomas Arts, co-founder and CTO of Quviq, has worked at Ericsson's computer Science Lab in the nineties. Together with Joe Armstrong, Simon Marlow and Phil Wadler, he tried to build a type system for Erlang. That being of little practical use, he later worked on verification tools for Erlang. After a short return to academia as professor at Chalmers, he is now fully devoted to amazing testing tools.

GitHub: Quviq

Twitter: @quviq

Back to conference page