%0 Thesis %T Estratégia para especificação e geração de casos de teste a partir de modelos UML %U http://tede2.pucrs.br/tede2/handle/tede/5041 %I Pontifícia Universidade Católica do Rio Grande do Sul