An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution.

Laura Troost, Hendrik Winkelmann, Herbert Kuchen

Browse the full ENASE paper archive.