SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
Home
User manual
Examples
Contact
View the Project on GitHub FTSRG/seviz
Download the SEViz.Demos project.