Lima, H., 		Ramalho, F., 		Machado, P., & 		Galdino, E.
(2007).
 Automatic Generation of Platform Independent Built-in Contract Testers.
In <em>Anais do I Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software</em>, (pp. 47-60). Porto Alegre: SBC.
doi:10.5753/sbcars.2007.24118