Automatic generation of UML sequence diagrams from test counterexamples. - Daniel Carballa; Laura M. Castro (Erlang Workshop, 2016)