Test Generation from UML Sequence Diagrams. - João Pascoal Faria; Ana C. R. Paiva; Zhuanli Yang (QUATIC, 2012)