Uma Avaliação e Investigação Experimental de Técnicas de Re-Teste Seletivo para Teste de Regressão Baseado em Especificação Documento