Cristiano Bertolini, Alexandre Mota. Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. In Dang Van Hung, Padmanabhan Krishnan, editors, Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. pages 115-124, IEEE Computer Society, 2009. [doi]
Abstract is missing.