jepsen-io / jepsen

A framework for distributed systems verification, with fault injection

asatarin / testing-distributed-systems

Curated list of resources on testing distributed systems

jepsen-io / elle

Black-box transactional safety checker based on cycle detection