Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis