Test Generation for Graphical User Interfaces Based on Symbolic Execution.

Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry

Browse the full ICSE paper archive.