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 Rss Apple Podcaster →