Coyote is a tool designed to help ensure that your C# code is free of annoying concurrency bugs. - View it on GitHub