systematic-testing topic
List
systematic-testing repositories
coyote
1.4k
Stars
76
Forks
Watchers
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
P
2.9k
Stars
169
Forks
Watchers
The P programming language.
Concuerror
329
Stars
42
Forks
Watchers
Concuerror is a stateless model checking tool for Erlang programs.
cpp-systematic-testing
37
Stars
6
Forks
Watchers
A library for testing concurrent C++ code and deterministically reproducing bugs.