FIGUEIREDO, André L. L.; 						MACHADO, Patricia D. L.; 						CARTAXO, Emanuela G.; 						FIGUEIREDO, Jorge C. A.; 						BARBOSA, Paulo E. S..
 Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos. <em>In</em>: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 9.	, 2008, Rio de Janeiro/RJ.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2008
.
 p. 17-30. 
			ISSN 2595-2684. 
		DOI: <a href="https://doi.org/10.5753/wtf.2008.23143">https://doi.org/10.5753/wtf.2008.23143</a>.