They can be tested with quickcheck as well: http://yellerapp.com/posts/2014-05-08-testing-riak.html