www.prismmodelchecker.org
[BMA10] Cristiano Bertolini, Alexandre Mota and Eduardo Aranha. Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis. In Proc. 21st IEEE International Symposium on Software Reliability Engineering (ISSRE'10), pages 319-328. 2010. [Uses PRISM to evaluate software testing techniques for graphical user interfaces.]
Links: [Google] [Google Scholar]

Publications