SEARCH Articles Figures Tables Automatic Test Programs Automatically Programmed Tool Deductive Inference in Automatic Programming Requirements and Promises of Automatic Programming The Grand Aim of Automatic Programming