Towards Symbolic Execution in Erlang | Publicación