2017 https://ic.ufal.br/pt-br/graduacao/ciencia-da-computacao/documentos/banco-de-monografias/2017 https://ic.ufal.br/@@site-logo/logo-ic.png 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
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