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. <em>In</em>: ESCOLA REGIONAL DE SISTEMAS DE INFORMAÇÃO DO RIO DE JANEIRO (ERSI-RJ), 5.	, 2018, Nova Friburgo.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2018
.
 p. 62 - 69. 
		DOI: <a href="https://doi.org/10.5753/ersirj.2018.4656">https://doi.org/10.5753/ersirj.2018.4656</a>.