publicações selecionadas artigo de conferência A model-based approach for test cases generation | Uma abordagem para a geração de casos de teste baseada em modelos 2013
