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>