… This paper presents a tutorial, with extensive exercises, in the use of Quviq QuickCheck—a property-based testing tool for Erlang, which enables developers … stateful systems. Finally we discuss applications of QuickCheck in industry. …
cefp 2010: 183-223 [doi]