Voltar aos Detalhes do Artigo
Um Método para Geração de Casos de Teste a partir da Validação de Modelos UML/OCL utilizando Satisfatibilidade
Baixar
##common.downloadPdf##