Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs. - View it on GitHub