Login / Signup
Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing.
Kevin Salvesen
Juan P. Galeotti
Florian Gross
Gordon Fraser
Andreas Zeller
Published in:
SBST@ICSE (2015)
Keyphrases
</>
symbolic execution
test data generation
test cases
test generation
static analysis
search algorithm
source code
software testing
search space
simulated annealing algorithm
specification language
high level
artificial intelligence
case study
search strategy