%0 Thesis %T Split-MBT : a model-based testing method for software product lines %U http://tede2.pucrs.br/tede2/handle/tede/8443 %I Pontif?cia Universidade Cat?lica do Rio Grande do Sul