Typestate-based semantic code search over partial programs.

Alon Mishne, Sharon Shoham, Eran Yahav

Browse the full OOPSLA paper archive.