Reference

2008
End-User Program Analysis
Ph.D. Dissertation
Also available as Technical Report UCB/EECS-2008-161