MAC6919 - Teste de Software Baseado em Modelos (2022)

Este curso tem como objetivo discutir o estado da arte do teste de software baseado em modelos. Neste curso serão abordados os fundamentos de modelos formais para a especificação do comportamento do software e testes baseados em modelos, assim como o processo de desenvolvimento e planejamento dos testes dentro do ciclo de vida do software.