An Industrial Case Study on Speeding Up User Acceptance Testing by Mining Execution Logs