QuickCheck: a lightweight tool for random testing of Haskell programs

Soft Updates: A Technique for Eliminating Most Synchronous Writes in the Fast Filesystem

Write ahead log

Fuzzing: a survey

SAGE: whitebox fuzzing for security testing

Intelligent REST API data fuzzing

A hybrid analysis to detect Java serialisation vulnerabilities

Jsongen: a quickcheck based library for testing JSON web services

Property-Based Testing of JSON Based Web Services

Turning web services descriptions into quickcheck models for automatic testing

Hypothesis

Erlang QuickCheck

Software Testing with QuickCheck

John Hughes - Don't Write Tests

John Hughes - QuickCheck Evolution

John Hughes: Testing with QuickCheck

John Hughes - Testing the Hard Stuff and Staying Sane

John Hughes - How to specify it! A guide to writing properties of pure functions | Code Mesh LDN 19

Testing Eventual Consistency in Riak - YouTube

PARTISAN: Scaling the Distributed Actor Runtime

Dealing with a corrupt SSTable in Cassandra

MODELING EVENTUAL CONSISTENCY DATABASES WITH QUICKCHECK

Riak DT

Applied Monotonicity: A Brief History of CRDTs in Riak

Using temporal relations to specify and test an instant messaging server

Effective Concurrency Testing for Distributed Systems

Jepsen

Clojure test.check

PropER

PULSE tutorial

Finding race conditions in Erlang with QuickCheck and PULSE

CORFU: A Shared Log Design for Flash Clusters

CORFU: A distributed shared log