A visual interactive debugger based on symbolic execution

Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe

Abstract

We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state debugger. It allows to start debugging of source code at any code location without the need to write a fixture as well as to visualize all possible symbolic execution paths and all symbolic states up to a finite depth. A code-based test generation facility is integrated.

BibTeX

@inproceedings{Haehnle-al:ASE10,
  author    = {Reiner H{\"{a}}hnle and
               Marcus Baum and
               Richard Bubel and
               Marcel Rothe},
  title     = {A visual interactive debugger based on symbolic execution},
  booktitle = {ASE},
  pages     = {143--146},
  publisher = {{ACM}},
  year      = {2010},
}

A visual interactive debugger based on symbolic execution

Abstract

Related papers