Visualization Support for JDart


Chaofeng Zhou, Kasper Luckow, Falk Howar, Zvonimir Rakamaric. Java Pathfinder Workshop (JPF 2016), Seattle, WA, USA.
[pdf] [bib]

Abstract: JDart is a tool for performing dynamic symbolic execution of a Java program. The result is a constraints tree that describes the decisions taken during program exploration. Such a tree typically contains thousands of nodes even for medium-sized programs. It is very difficult to comprehend such large trees since, for example, identifying nodes that match particular program branches is extremely tedious. Hence, debugging and program understanding is all but impossible. To address this, we describe recent advances in the reporting facility in JDart that uses an interactive visualization of the tree, thus enabling a developer to traverse and search for specific behaviors.


  author = {Chaofeng Zhou and Kasper Luckow and Falk Howar and Zvonimir Rakamari\'c},
  title = {Visualization Support for {JDart}},
  booktitle = {Java Pathfinder Workshop (JPF)},
  year = {2016},
  note = {Extended abstract},