Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry. Test Generation for Graphical User Interfaces Based on Symbolic Execution. In Hong Zhu, W. Eric Wong, Fevzi Belli, editors, Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008. pages 33-40, ACM, 2008. [doi]
@inproceedings{GanovKKP08,
title = {Test Generation for Graphical User Interfaces Based on Symbolic Execution},
author = {Svetoslav R. Ganov and Chip Killmar and Sarfraz Khurshid and Dewayne E. Perry},
year = {2008},
doi = {10.1145/1370042.1370050},
url = {http://dx.doi.org/10.1145/1370042.1370050},
tags = {rule-based, testing, e-science},
researchr = {https://researchr.org/publication/GanovKKP08},
cites = {0},
citedby = {0},
pages = {33-40},
booktitle = {Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008},
editor = {Hong Zhu and W. Eric Wong and Fevzi Belli},
publisher = {ACM},
}