Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing. - Kevin Salvesen; Juan P. Galeotti; Florian Gross; Gordon Fraser 001; Andreas Zeller (SBST@ICSE, 2015)