Quviq QuickCheck

Quviq QuickCheck is an Erlang-based library for random testing of against specifications. It is inspired by a tool first developed for Haskell. A preliminary version was presented at the Erlang User Conference in 2003.:

The slides used at the conference. (Powerpoint, Postscript, PDF).

The tool has been developed much further with the support of SSF as part of the Cover project, and with the support of the EU, via the ProTest project. It is now sold as a commercial product by Quviq AB.

Some papers about Quviq QuickCheck

Testing Telecoms Software with Quviq QuickCheck, ACM Erlang Workshop, Portland, Oregon, 2006.
Functional programming: a secret weapon for software testing (video), invited talk at ICFP 2007, Freiburg, Germany.
Erlang fault detection with model-based testing, ACM Erlang Workshop, Victoria, 2008.
Testing Erlang data types with Quviq QuickCheck, ACM Erlang Workshop, Victoria, 2008.