SEViz - Visualizing symbolic execution

SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation


User manual



View the Project on GitHub FTSRG/seviz


SEViz (Symbolic Execution Visualizer) helps test and software engineers developing better tests by visualizing symbolic execution-based test generation.

SEViz is an open source tool, and currently works with Microsoft IntelliTest and Visual Studio 2015.

SEViz visualizes the symbolic executions in a form of a symbolic execution tree. The tool consists of two components.


D. Honfi, A. Vörös, Z. Micskei: SEViz: A Tool for Visualizing Symbolic Execution, In Proc. of IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Tool Track, Graz, Austria, 13-17 April 2015, DOI: 10.1109/ICST.2015.7102631. [PDF]