Event Listener Analysis and Symbolic Execution for Testing GUI Applications.

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

Published in: ICFEM (2009)

Keyphrases

symbolic execution
static analysis
test generation
databases
orders of magnitude
general purpose