3D Visualization of Symbolic Execution Traces.

Jan Zielasko Sören Tempel Vladimir Herdt Rolf Drechsler

Published in: FDL (2022)

Keyphrases

execution traces
source code
program comprehension
high level
open source
symbolic representation
domain knowledge
symbolic description
case study
multi agent
case based reasoning