upvote
Program analysis using random interpretation (2005) [pdf]

(sigplan.org)