Login / Signup
Mauricio Rocha
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 2
Top Topics
Model Based Testing
Petri Net
Class Diagram
Test Case Generation
Top Venues
Softw. Qual. J.
SEKE
</>
Publications
</>
Mauricio Rocha
,
Adenilso Simão
,
Thiago Sousa
Model-based test case generation from UML sequence diagrams using extended finite state machines.
Softw. Qual. J.
29 (3) (2021)
Mauricio Rocha
,
Adenilso Simão
,
Thiago Sousa
,
Marcelo Batista
Test Case Generation by EFSM Extracted from UML Sequence Diagrams.
SEKE
(2019)