@inproceedings {4971,
	title = {SEViz: A Tool for Visualizing Symbolic Execution},
	booktitle = {IEEE Int. Conf. on Software Testing, Verification and Validation (ICST)},
	year = {2015},
	month = {04/2015},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Graz, Austria},
	doi = {10.1109/ICST.2015.7102631},
	url = {http://mit.bme.hu/~micskeiz/papers/honfi-voros-micskei-icst2015-tool.pdf},
	author = {Honfi, D{\'a}vid and Andr{\'a}s V{\"o}r{\"o}s and Zolt{\'a}n Micskei}
}
