@phdthesis{Gulwani05,
  author =	 "Sumit Gulwani",
  title =	 "Program Analysis Using Random Interpretation",
  school =  "UC-Berkeley",
  year =	 "2005",
}