Tool Finds Software Update Bugs In Hours, Not Days