Validating Library Usage Interactively William Harris, Guoliang Jin, Shan Lu, and Somesh Jha Outline Motivation Problem definition Technique and experiments Motivation Developers…