Using Probabilistic Model Checking to Evaluate GUI Testing Techniques | IEEE Conference Publication | IEEE Xplore