MetricMiner: uma ferramenta web de apoio à mineração de repositórios de software Francisco Sokol Orientador: Marco Aurélio Gerosa Co-orientador: Mauricio Finavaro Aniche