Erlang is a functional programming language (in a loose sense) geared towards massive pararellism. QuickCheck is a semi-automated testing tool which simplifies the generation and driving of test cases. Highlights of QuickCheck include its ability to derive test cases from a user-supplied automaton that models the system as well as its ability to minimise failing counterexamples once they are identified. As always, there are catches, as will be seen during the meeting. The talk will begin with an overview of Erlang's main constructs, followed by a definition of The Testing Crisis* ('cause everything's a crisis in Software Engineering) and an interactive tutorial of QuickCheck, where I will try to impart my limited knowledge of the aforementioned on to you. The talk will be hands-on and (hopefully) audience driven. No prior knowledge of Erlang will be assumed, although having some vague notion of concurrency would probably help.