SEViz - Visualizing symbolic execution

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 examples

Download the SEViz.Demos project.

Example outputs

IfBranching

SwitchBranching

ForLoop