da Silva, Beatriz, Teixeira, Lucas, E Berkenbrock, Gian. " Critérios para geração de casos de teste baseados em modelo descritos em PcML" Anais da Escola Regional de Engenharia de Software (ERES) [Online], (6 dezembro 2023)