UMA ABORDAGEM SISTEMÁTICA PARA GERAÇÃO DE CASOS DE TESTE ABSTRATOS UTILIZANDO MODELOS DE CLASSES UML ANOTADOS COM RESTRIÇÕES OCL - MARCOS VINICIUS FURRIEL AMORIM DIAS (2017)