Dias Neto, Arilo Claudio, AND 		Travassos, Guilherme.
" Maraká: Computational Infrastructure to Support Software Testing Planning and Control" <em>Proceedings of the Brazilian Software Quality Symposium (SBQS)</em> [Online], (29 May 2006)