Automatic generation of UML sequence diagrams from test counterexamples | Publicación