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