I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn. Application of AI Planning Techniques to Automated Code Synthesis and Testing. In 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA. pages 131-137, IEEE Computer Society, 2002. [doi]
Abstract is missing.