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

Kevin Salvesen, Juan P. Galeotti, Florian Gross, Gordon Fraser, Andreas Zeller. Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing. In 8th IEEE/ACM International Workshop on Search-Based Software Testing, SBST 2015, Florence, Italy, May 18-19, 2015. pages 32-35, IEEE, 2015. [doi]

Abstract

Abstract is missing.