I'm doing research on automatic programming techniques available in the literature but only those which use AI. The only technique I can find is genetic programming.
Are there any other techniques which transform a high-level problem specification, which the programmer need not know how to solve, into a working program? What's the category of these search techniques called?