Como a Microsoft lida com os 30.000 bugs que seus 47.000 desenvolvedores geram a cada mês