Resumo
A atividade de teste de software é imprescindível para melhorar a qualidade de um produto de software. No entanto, encontrar um conjunto de dados de teste que satisfaz um dado critério de teste não é uma tarefa trivial, pois o domínio pode ser grande e diferentes conjuntos de teste podem ser soluções satisfatórias. O teste de programas concorrentes além de apresentar os problemas de progr…