An Interactive Ranking Algorithm for Program Static Analysis | IEEE Conference Publication | IEEE Xplore