Program analysis using random interpretation

@inproceedings{Gulwani2005ProgramAU,
  title={Program analysis using random interpretation},
  author={Sumit Gulwani},
  year={2005}
}
Program Analysis using Random Interpretation by Sumit Gulwani Doctor of Philosophy in Computer Science University of California, Berkeley Professor George C. Necula, Chair Random interpretation is a new program analysis technique that uses the power of randomization to verify and discover program properties. It is inspired by, and combines the strengths of, the two complementary techniques for program analysis: random testing and abstract interpretation. Random testing is simple and finds real… CONTINUE READING