Code search with input / output queries : Generalizing , ranking , and assessment
Test input generation with java PathFinder