SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
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]