Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck.

Nicolae Paladi Thomas Arts Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. 71-82 2009 Erlang Workshop http://doi.acm.org/10.1145/1596600.1596611 conf/erlang/2009 db/conf/erlang/erlang2009.html#PaladiA09