Figueiredo, A., 		Machado, P., 		Cartaxo, E., 		Figueiredo, J., & 		Barbosa, P.
2008 mai 27.  Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :