Path-Oriented Program Analysis door J.C. Huang