Lima, H., 		Ramalho, F., 		Machado, P., & 		Galdino, E.
(2007).
 Automatic Generation of Platform Independent Built-in Contract Testers.
In <em>Proceedings of the 1st Brazilian Symposium on Software Components, Architectures, and Reuse</em>, (pp. 47-60). Porto Alegre: SBC.
doi:10.5753/sbcars.2007.24118