MAC6938 - Estudos Avançados em Teste de Software Baseado em Modelos I (2022)

A disciplina visa o aprofundamento do estudo de tópicos modernos na área de teste de software baseado em seus modelos formais.