SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
Contact
Dávid Honfi (honfi (AT) mit.bme.hu)
Zoltán Micskei (micskeiz (AT) mit.bme.hu)
András Vörös (vori (AT) mit.bme.hu)
SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation