Model-based test case generation from UML sequence diagrams using extended finite state machines - Rocha, Mauricio Rego Mota da; Simão, Adenilso da Silva; Sousa, Thiago (Software Quality Journal, 2021)