Static analysis of probabilistic programs: Inferring whole program properties from finitely many executions. (2013)

by S Sankaranarayanan, A Chakarov, S Gulwani
Venue:In Programming Languages Design and Implementation (PLDI),