H. Lima, F. Ramalho, P. Machado, and E. Galdino.
" 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>, 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>.