Nicolae Paladi, Thomas Arts. Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. In Clara Benac Earle, Simon J. Thompson, editors, Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009. pages 71-82, ACM, 2009. [doi]
Abstract is missing.