ValiErlang: A Structural Testing Tool for Erlang Programs. - Alexandre P. Oliveira; Paulo S. L. Souza; Simone R. S. Souza (SAST, 2016)