4 results found Sort:

microsoft
coyote microsoft
77
1.5k
other
38
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
coyote dotnet fuzzing testing testing-tools systematic-testing software-reliability
Created 2019-08-15
658 commits to main branch, last one 2 months ago
sieve-project
sieve sieve-project
20
322
bsd-2-clause
11
Automatic Reliability Testing for Kubernetes Controllers and Operators
operator kubernetes system-reliability kubernetes-operator software-reliability
Created 2021-05-06
1,095 commits to main branch, last one a day ago
xlab-uiuc
acto xlab-uiuc
42
113
apache-2.0
9
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
operator kubernetes system-reliability kubernetes-operator software-reliability
Created 2021-09-08
1,134 commits to main branch, last one about a month ago
microsoft
cpp-systematic-testing microsoft
6
41
other
4
A library for testing concurrent C++ code and deterministically reproducing bugs.
cpp testing concurrency nondeterminism systematic-testing software-reliability
Created 2022-08-02
2 commits to main branch, last one about a year ago