w (cargo): Deterministically exercise nondeterminism in distributed, concurrent, and persistent code.
Keywords: database|network|testing|concurrency|distributed-systems|consensus|gossip|services