Svetoslav R. Ganov Chip Killmar Sarfraz Khurshid Dewayne E. Perry Event Listener Analysis and Symbolic Execution for Testing GUI Applications. 69-87 2009 ICFEM http://dx.doi.org/10.1007/978-3-642-10373-5_4 conf/icfem/2009 db/conf/icfem/icfem2009.html#GanovKKP09