Test Case Generation by EFSM Extracted from UML Sequence Diagrams. - Mauricio Rocha; Adenilso Simão; Thiago Sousa; Marcelo Batista (SEKE, 2019)

Model-based test case generation from UML sequence diagrams using extended finite state machines. - Mauricio Rocha; Adenilso Simão; Thiago Sousa (Softw. Qual. J., 2021)