From d88ee6929b7330c4b7e95e937f8a75b9e18004ab Mon Sep 17 00:00:00 2001 From: Andrey Satarin Date: Mon, 31 Oct 2022 20:07:48 -0700 Subject: [PATCH] Add "Curated list of resources on testing distributed systems" --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 9b19c0b..cde7dc3 100644 --- a/README.md +++ b/README.md @@ -68,6 +68,7 @@ While designing distributed systems are hard enough, testing them is even harder - [Logic and Lattices for Distributed Programming](http://db.cs.berkeley.edu/papers/UCB-lattice-tr.pdf) ### Verification of Distributed Systems +- Curated list of resources on [testing distributed systems](https://asatarin.github.io/testing-distributed-systems/) includes links to materials on testing by various companies (Google, Amazon, Netflix, Microsoft, Dropbox, etc) and research papers. - [Jepsen](https://github.com/jepsen-io/jepsen) A framework for distributed systems verification, with fault injection @aphyr has featured enough times in this list already, but Jepsen and the blog posts that go with are a quintessntial addition to any distributed systems reading list. - [Verdi](http://verdi.uwplse.org/) A Framework for Implementing and Formally Verifying Distributed Systems [Paper](http://verdi.uwplse.org/verdi.pdf)