da Silva, Beatriz, Lucas Tosetto Teixeira, and Gian Ricardo Berkenbrock.
" Critérios para geração de casos de teste baseados em modelo descritos em PcML." <em>Anais da VII Escola Regional de Engenharia de Software,
Maringá/PR, 2023</em>. SBC, 2023,  
pp.11-20.