Teste Estrutural de Programas Concorrentes como uma Composição de Serviços na Web
Otimizando o teste estrutural de programas concorrentes: uma abordagem determinís...
Avaliação de um novo modelo de teste estrutural para programas concorrentes
Estratégias de particionamento dinâmico para automatizar a paralelização de código...
Paralelizacao automatica e semi-automatica de lacos para arquiteturas multicore.