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