Exame de Qualificação de Doutorado
Marcos Vinicius Furriel Amorim Dias

Título:
Geração Automática de Casos de Teste via Validação Lightweight de Modelos
UML/OCL Baseada em Satisfazibildiade e Model Slicing

07 de maio às 15h

meet.google.com/vkp-ntem-tfy <meet.google.com/vkp-ntem-tfy>

<www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
Livre
de vírus. www.avast.com
<www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

68o-Marcos-Furriel.docx.pdf