Typestate-based semantic code search over partial programs.

Alon Mishne Sharon Shoham Eran Yahav

Published in: OOPSLA (2012)

Keyphrases

semantic search
search algorithm
search strategies
natural language
search space
object oriented
search strategy
java programs
keyword search
pruning the search space
high level
user queries
heuristic search
search methods
semantic knowledge
video search