Concurrency Testing

HeyGo

A tiny HTTP load generator and ApacheBench replacement for sending load to web applications.

clockworkGo

A simple fake clock for Go that replaces the standard time package with an injectable interface for testing.

Java Path Finder (JPF)Java

An extensible software model checking framework for Java bytecode programs to detect concurrency defects and runtime errors.

ConcuerrorErlang

A stateless model checking tool for Erlang programs that systematically tests for concurrency errors.

CsCheckC#

A C# random testing library with parallelized generation and shrinking based on the PCG random number generator.