Erlang/QuickCheck is a library for random testing of Erlang programs against specifications. It is an adaption of a tool first developed for Haskell to Erlang. Erlang/QuickCheck is work in progress, but the following materials are available:
The slides of a talk at the Erlang User Conference 2003. (Powerpoint, Postscript, PDF).
Module qc.erl, and header file quickcheck.hrl, which together make up the implementation described at the conference.