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]
@inproceedings{SalvesenGGFZ15,
title = {Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing},
author = {Kevin Salvesen and Juan P. Galeotti and Florian Gross and Gordon Fraser and Andreas Zeller},
year = {2015},
doi = {10.1109/SBST.2015.15},
url = {http://dx.doi.org/10.1109/SBST.2015.15},
researchr = {https://researchr.org/publication/SalvesenGGFZ15},
cites = {0},
citedby = {0},
pages = {32-35},
booktitle = {8th IEEE/ACM International Workshop on Search-Based Software Testing, SBST 2015, Florence, Italy, May 18-19, 2015},
publisher = {IEEE},
isbn = {978-1-4673-7079-0},
}