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...
Otimizações para Extração Automática de Paralelismo Baseadas na Técnica Decoupled ...