H. Lima, F. Ramalho, P. Machado, and E. Galdino.
" Automatic Generation of Platform Independent Built-in Contract Testers", in <em>Proceedings of the 1st Brazilian Symposium on Software Components, Architectures, and Reuse</em>, Campinas/SP, 2007, pp. 47-60, doi: <a href="https://doi.org/10.5753/sbcars.2007.24118">https://doi.org/10.5753/sbcars.2007.24118</a>.