SEViz: A Tool for Visualizing Symbolic Execution.

David Honfi, Andrs Vrs, Zoltn Micskei

Browse the full ICST paper archive.