Dynamic Testing of Executable UML Models with Sequence Diagrams. - Tamás Jánosi; Krisztián Mózsi; Péter Bereczky; Dávid János Németh; Tibor Gregorics (SQAMIA, 2019)