SEViz: A Tool for Visualizing Symbolic Execution
| Title | SEViz: A Tool for Visualizing Symbolic Execution |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Honfi, D., Vörös, A., and Micskei, Z. |
| Conference Name | IEEE Int. Conf. on Software Testing, Verification and Validation (ICST) |
| Date Published | 04/2015 |
| Publisher | IEEE |
| Conference Location | Graz, Austria |
| URL | http://mit.bme.hu/~micskeiz/papers/honfi-voros-micskei-icst2015-tool.pdf |
| DOI | 10.1109/ICST.2015.7102631 |
