Análise de mutantes no contexto de sistemas reativos : uma contribuição para o estabelecimento de estratégias de teste e validação