Login / Signup
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