Izzat Alsmadi Kenneth Magel GUI Path Oriented Test Case Generation. 21-28 2007 conf/setp/2007 SETP db/conf/setp/setp2007.html#AlsmadiM07