@mastersthesis{mastersthesis53e121d9,
title   = {Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML},
author = {Rocha, Mauricio Rego Mota da and Simão, Adenilso da Silva and Sousa, Thiago Carvalho de},
year = {2020},
school = {Universidade de São Paulo}
}