Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry. Test Generation for Graphical User Interfaces Based on Symbolic Execution. In Hong Zhu, W. Eric Wong, Fevzi Belli, editors, Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008. pages 33-40, ACM, 2008. [doi]
Abstract is missing.