SEViz: A Tool for Visualizing Symbolic Execution.

David Honfi András Vörös Zoltán Micskei

Published in: ICST (2015)

Keyphrases

symbolic execution
test data generation
source code
static analysis
test generation
open source
information visualization
data sets
real world
domain independent