Atividades de pesquisa no contexto do projeto ProSA-RAES financiado pela FAPESP (n...
Geração de propriedades para o Java pathfinder a partir de objetivos de teste
XXV Simpósio Brasileiro de Engenharia de Software (SBES 2011)
V Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBC...
XV Simpósio brasileiro de linguagens de programação (SBLP 2011)