@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} }