microsoft / coyote

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.