SEViz: A Tool for Visualizing Symbolic Execution
| Cím | SEViz: A Tool for Visualizing Symbolic Execution |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2015 |
| Szerzők | Honfi, D., Vörös, A., and Micskei, Z. |
| Konferencia neve | IEEE Int. Conf. on Software Testing, Verification and Validation (ICST) |
| Kiadás dátuma | 04/2015 |
| Kiadó | IEEE |
| Konferencia helyszíne | Graz, Austria |
| URL | http://mit.bme.hu/~micskeiz/papers/honfi-voros-micskei-icst2015-tool.pdf |
| DOI | 10.1109/ICST.2015.7102631 |
