%0 Thesis %T Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software %U http://tede2.pucrs.br/tede2/handle/tede/5160 %I Pontifícia Universidade Católica do Rio Grande do Sul