[FCD+21] Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang and Franck van Breugel. Probabilistic Model Checking of Randomized Java Code. In Proc. 27th International Symposium on Model Checking Software (SPIN'21), volume 12864 of LNCS, pages 157-174, Springer. 2021. [Presents methods for probabilistic model checking of randomised Java code using a combination of PRISM and Java PathFinder.]
Notes: The original publication is available at link.springer.com.