da Silva, B., Teixeira, L., & Berkenbrock, G. (2023). Critérios para geração de casos de teste baseados em modelo descritos em PcML. In Anais da VII Escola Regional de Engenharia de Software, (pp. 11-20). Porto Alegre: SBC. doi:10.5753/eres.2023.237339