Dias Neto, A., & 		Travassos, G.
2006 May 29.  Maraká: Computational Infrastructure to Support Software Testing Planning and Control. Proceedings of the Brazilian Software Quality Symposium (SBQS). [Online] :