Program analysis using random interpretation (2005) [pdf] sigplan.org 3 points by azhenley 2 hours ago