Model Based Testing of Data Constraints: Testing the Business Logic of a Mnesia Database Application with Quviq QuickCheck.

Nicolae Paladi

Erlang Workshop
Edinburgh 2009
ACM SIGPLAN

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…