A PropEr Talk

By Erlang Central | Published: June 6, 2011

PropEr is an open-source, Quickcheck-inspired tool for property-based testing in Erlang. Its salient feature, which is also the primary reason for PropEr’s existence, is that it offers a proper integration of the language of types and specs of Erlang with properties. Any type can be used as a generator (PropEr knows how to create a shrinker for it) and any function spec can be directly used as simple property of a function.

In addition, PropEr offers support that significantly simplifies the task of writing generators for recursive and opaque data types. Last but not least, PropEr includes efficient support for testing stateful applications.

The talk will overview the features of PropEr and will include a PropEr demo.

More information is available Github

Target audience: Erlang programmers who are testing conscious.

Talk objectives: Give to the Erlang audience a PropEr talk! 🙂

Download Presentation Download


  • Kostis Sagonas

    Leader of the HiPE team and Erlang tool developer
    Uppsala University and National Technical University of Athens

    Kostis Sagonas is an academic who has been heavily involved in the development of Erlang and its implementation since 1999. At Uppsala University, he has led the development team of the HiPE native code compiler that nowadays is part of Erlang/OTP. Together with his students, first at Uppsala University and more recently at the National Technical University of Athens, he has proposed various changes and additions to the language (most notably, bit-level pattern matching and bit-stream comprehensions, and the language of type and spec declarations), and has contributed to its compiler and runtime system. Besides HiPE, he has designed and implemented software development tools for Erlang (dialyzer, typer, tidier, proper, ...) and has contributed bug fixes to many open-source Erlang projects.

    Kostis Sagonas

Follow Erlang Central:

Have an Erlang Question?

Reach out to the Erlang community