Extending DMM Behavior Specifications for Visual Execution and Debugging.

Nils Bandener Christian Soltenborn Gregor Engels

Published in: SLE (2010)

Keyphrases

execution traces
high level
control flow
dynamic analysis
visual features
visual information
finite state machines
execution model
specification language
visual representation
visual perception
formal specification
database
visual cues
low level
case study
data sets