2017

Casos de teste baseados em modelos formais para aumentar a qualidade de software
Discente: Poliana Vieira Belo da Silva / Orientador: Leandro Dias da Silva
Utilização de diminuição na quantidade de statements em métodos como indício para detecção de refatoramento
Discente: Ana Carla Gomes Bibiano / Orientador: Baldoino Fonseca Neto