[PPT] - Large-Scale API Protocol Mining for Automated Bug Detection Michael PowerPoint Presentation