Test Generation for Graphical User Interfaces Based on Symbolic Execution.

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

Published in: AST (2008)

Keyphrases

graphical user interfaces
symbolic execution
test generation
test cases
user interface
quality assurance
static analysis
visual representation
test data generation
software testing
graphical user interface
databases
real world
machine learning
case study
user friendly