Figueiredo, André, Patricia D. L. Machado, Emanuela G. Cartaxo, Jorge C. A. Figueiredo, and Paulo E. S. Barbosa.
"Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos." <em>Anais do IX Workshop de Testes e Tolerância a Falhas,
Rio de Janeiro/RJ, 2008</em>. SBC, 2008,  
pp.17-30.