QuickCheck your facts by Nikolas Vourlakis
This talk is about property-based testing using QuickCheck. In this folder, you will find the slides used during the presentation. All referenced papers as well as additional resources are included.
The paper that introduced QuickCheck is QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. This the one that won the most influential ICFP paper award.
In the paper Finding Race Conditions in Erlang with QuickCheck and PULSE, it is described how to test and debug concurrent, distributed Erlang applications. There a related talk based on this paper and the here are the slides.