Program Analysis Using Random Interpretation
Sumit Gulwani
EECS Department, University of California, Berkeley
2005
Advisors: George Necula
BibTeX citation:
@phdthesis{Gulwani:8482, Author= {Gulwani, Sumit}, Title= {Program Analysis Using Random Interpretation}, School= {EECS Department, University of California, Berkeley}, Year= {2005}, }
EndNote citation:
%0 Thesis %A Gulwani, Sumit %T Program Analysis Using Random Interpretation %I EECS Department, University of California, Berkeley %D 2005 %F Gulwani:8482