Doutorado
Título: Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML
Programa: Ciências de Computação e Matemática Computacional – ICMC
Autor: Mauricio Rêgo Mota da Rocha
Orientador: Adenilso da Silva Simão
Defesa: Quinta-feira, dia 17 de dezembro de 2020, às 14 horas