Updated 6 months ago
microsoft.coyote
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Updated 6 months ago
xinda
Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems