Beatriz da Silva, Lucas Teixeira, and Gian Berkenbrock. 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, dezembro 06, 2023, Maringá/PR, Brasil. SBC, Porto Alegre, Brasil, 11-20. DOI: https://doi.org/10.5753/eres.2023.237339.