Application of AI Planning Techniques to Automated Code Synthesis and Testing.

I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn

Browse the full ICTAI paper archive.