Extracting QuickCheck specifications from EUnit test cases
Thomas Arts, Pablo Lamela Seijas, Simon Thompson · 2011
Writing EUnit tests is more common than writing QuickCheck specifications, although QuickCheck specifications potentially explore far more scenarios than manually written unit tests. In particular for implementations that have side-effects, writing a good set of EUnit tests is often difficult and labour intensive.