Helton Lima, Franklin Ramalho, Patricia Machado, and Everton Galdino. 2007.
Automatic Generation of Platform Independent Built-in Contract Testers. In Anais do I Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, agosto 29, 2007, Campinas/SP, Brasil. SBC, Porto Alegre, Brasil, 47-60. DOI: https://doi.org/10.5753/sbcars.2007.24118.