Code search with input / output queries : Generalizing , ranking , and assessment
Symbolic execution and program testing