What is the category of search techniques for automatic programming using artificial intelligence called?

Question

I'm doing research on automatic programming techniques available in the literature but only those which use AI. The only such 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 techiques called?