FURRIEL A. DIAS, Marcos Vinicius; ASSIS SCHMITZ, Eber; V. LIMA, Priscila M..
Um Método para Geração de Casos de Teste a partir da Validação de Modelos UML/OCL utilizando Satisfatibilidade. In: ESCOLA REGIONAL DE SISTEMAS DE INFORMAÇÃO DO RIO DE JANEIRO (ERSI-RJ), 5. , 2018, Nova Friburgo.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2018
.
p. 62 - 69.
DOI: https://doi.org/10.5753/ersirj.2018.4656.