@inproceedings{GTTSE-2015-DwyerFGGPV,
	author        = "Matthew B. Dwyer and Antonio Filieri and Jaco Geldenhuys and Mitchell J. Gerrard and Corina S. Pasareanu and Willem Visser",
	booktitle     = "{Tutorial Lectures of the Fifth International Summer School on Grand Timely Topics in Software Engineering}",
	doi           = "10.1007/978-3-319-60074-1_1",
	isbn          = "['978-3-319-60073-4', '978-3-319-60074-1']",
	pages         = "1--25",
	publisher     = "{Springer International Publishing}",
	title         = "{Probabilistic Program Analysis}",
	year          = 2015,
}