Lima, H., 		Ramalho, F., 		Machado, P., & 		Galdino, E.
2007 Aug 29.  Automatic Generation of Platform Independent Built-in Contract Testers. Proceedings of the Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS). [Online] :