Relevance heuristics for program analysis.

Kenneth L. McMillan

Published in: POPL (2008)

Keyphrases

information retrieval
heuristic search
search algorithm
real time
bayesian networks
relevance feedback
relative importance
real world
recommender systems
probabilistic model
test collection