Estudo de casos em modelagem e geração automática de testes desenvolvidos na disciplina de verificação e validação de sistemas espaciais