A concolic testing tool for the Erlang functional programming language.