Atif M. Memon Martha E. Pollack Mary Lou Soffa Hierarchical GUI Test Case Generation Using Automated Planning. 144-155 2001 27 IEEE Trans. Software Eng. 2 http://www.computer.org/tse/ts2001/e0144abs.htm db/journals/tse/tse27.html#MemonPS01