Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing.

Kevin Salvesen, Juan P. Galeotti, Florian Gross, Gordon Fraser, Andreas Zeller

Browse the full ICSE paper archive.