For anyone writing services in C# there’s a project from MSR called Coyote that does similar deterministic simulation testing by systematically testing interlea

For anyone writing services in C# there’s a project from MSR called Coyote that does similar deterministic simulation testing by systematically testing interleavings of async code. https://microsoft.github.io/coyote/ https://microsoft.github.io/coyote/