Sung Kim Application of AI Planning Technique in Software Engineering. 154-157 2006 conf/sede/2006 SEDE db/conf/sede/sede2006.html#Kim06