Resumo
A escolha da técnica de teste a ser adotada em um projeto de software concorrente permanece baseada no conhecimento do testador e muitas vezes não considera todas as técnicas de teste disponíveis. Em um projeto anterior do grupo de pesquisa, foi definido um framework para apoiar a seleção sistemática de técnicas de teste de software concorrente. Para isso, um esquema de caracterização foi…