Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser. Probabilistic Program Analysis. In Jácome Cunha, João Paulo Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev, editors, Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures. Volume 10223 of Lecture Notes in Computer Science, pages 1-25, Springer, 2015. [doi]
Abstract is missing.