Code search with input / output queries : Generalizing , ranking , and assessment
A System to Generate Test Data and Symbolically Execute Programs