An Industrial Case Study on Speeding Up User Acceptance Testing by Mining Execution Logs | IEEE Conference Publication | IEEE Xplore