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.
- Docente: Ana Cristina Vieira de Melo