Concuerror is a systematic testing tool for concurrent Erlang programs - View it on GitHub