Test Generation for Graphical User Interfaces Based on Symbolic Execution. - Svetoslav R. Ganov; Chip Killmar; Sarfraz Khurshid; Dewayne E. Perry (AST, 2008)

Event Listener Analysis and Symbolic Execution for Testing GUI Applications. - Svetoslav R. Ganov; Chip Killmar; Sarfraz Khurshid; Dewayne E. Perry (ICFEM, 2009)