Willem Visser, Corina S. Pasareanu. Probabilistic programming for Java using symbolic execution and model counting. In Muthoni Masinde, editor, Proceedings of the South African Institute of Computer Scientists and Information Technologists, SAICSIT 2017, Thaba Nchu, South Africa, September 26-28, 2017. ACM, 2017. [doi]
Abstract is missing.