%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