Typestate-based semantic code search over partial programs. - Alon Mishne; Sharon Shoham; Eran Yahav (OOPSLA, 2012)