www.prismmodelchecker.org
[CBGS18] M. Camilli, C. Bellettini, A. Gargantini and P. Scandurra. Online Model-Based Testing under Uncertainty. In Proc. IEEE 29th International Symposium on Software Reliability Engineering (ISSRE'18), pages 36-46. 2018. [Proposes a model-based testing technique using uncertainty-aware sampling, and deploying PRISM for the analysis of MDPs.]
Links: [Google] [Google Scholar]

Publications