Application of AI Planning Techniques to Automated Code Synthesis and Testing. - I-Ling Yen; Farokh B. Bastani; Fiaz Mohamed; Hui Ma 006; John Linn (ICTAI, 2002)