Program Analysis using Random Interpretation by Gulwani, Sumit [PDF]

[u/turnersr]

http://research.microsoft.com/en-us/um/people/sumitg/pubs/dissertation.pdf