Validating Library Usage Interactively.

William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha

Browse the full CAV paper archive.