@inproceedings{DBLP:conf/icse/GanovKKP08,
author = {Svetoslav R. Ganov and
Chip Killmar and
Sarfraz Khurshid and
Dewayne E. Perry},
title = {Test Generation for Graphical User Interfaces Based on Symbolic
Execution},
booktitle = {AST},
year = {2008},
pages = {33-40},
ee = {http://dx.doi.org/10.1145/1370042.1370050},
crossref = {DBLP:conf/icse/2008ast},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icse/2008ast,
editor = {Hong Zhu and
W. Eric Wong and
Fevzi Belli},
title = {Proceedings of the 3rd International Workshop on Automation
of Software Test, AST 2008, Leipzig, Germany, May 11-11,
2008},
booktitle = {AST},
publisher = {ACM},
year = {2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}