There are some fascinating stories on using QuickCheck to test Riak and other distributed systems. For example: http://basho.com/tag/quickcheck/ http://basho.co

There are some fascinating stories on using QuickCheck to test Riak and other distributed systems. For example: http://basho.com/tag/quickcheck/ http://basho.com/tag/quickcheck/ and https://skillsmatter.com/skillscasts/4505-quickchecking-riak https://skillsmatter.com/skillscasts/4505-quickchecking-riak (registration required)