Program Synthesis Without Full Specifications for Novel Applications
GenProg: A Generic Method for Automatic Software Repair