ProSyT

A tool for Property-based Symbolic Testing of Erlang programs. Source code