Lima, H., 		Ramalho, F., 		Machado, P., & 		Galdino, E.
2007 ago 29.  Automatic Generation of Platform Independent Built-in Contract Testers. Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). [Online] :