Lima, Helton, Franklin Ramalho, Patricia D. L. Machado, and Everton L. Galdino.
" Automatic Generation of Platform Independent Built-in Contract Testers." <em>Anais do I Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software,
Campinas/SP, 2007</em>. SBC, 2007,  
pp.47-60.