Program analysis using interactive and visual querying | IEEE Conference Publication | IEEE Xplore