Manish Gupta, Jicheng Fu, Farokh B. Bastani, Latifur Khan, I-Ling Yen: Rapid goal-oriented automated software testing using MEA-graph planning. Softw. Qual. J. 15(3): 241-263 (2007)