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 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