Lima, Helton, 		Ramalho, Franklin, 		Machado, Patricia, E 		Galdino, Everton.
" Automatic Generation of Platform Independent Built-in Contract Testers" <em>Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS)</em> [Online], (29 agosto 2007)