Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. - João Pascoal Faria; Ana C. R. Paiva; Mário Ventura de Castro (ICTSS, 2013)