da Silva, B., Teixeira, L., & Berkenbrock, G. 2023 dez 6. 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] :