1 Department of Computer Science, The Faculty of Engineering and Science (ENG), Aalborg University, VBN2 Database and Programming Technologies, The Faculty of Engineering and Science (ENG), Aalborg University, VBN3 Daisy - Center for Data-intensive Systems, The Faculty of Engineering and Science (ENG), Aalborg University, VBN4 The Faculty of Engineering and Science (TECH), Aalborg University, VBN5 Carnegie Mellon Silicon Valley, NASA Ames
We describe Symbolic PathFinder v7 in terms of its updated design addressing the changes of Java PathFinder v7 and of its new optimization when computing path conditions. Furthermore, we describe the Symbolic Execution Tree Extension; a newly added feature that allows for outputting the symbolic execution tree that characterizes the execution paths covered during symbolic execution. The new extension can be tailored to the needs of subsequent analyses/processing facilities, and we demonstrate this by presenting SPF-Visualizer, which is a tool for customizable visualization of the symbolic execution tree.
Acm Special Interest Group on Software Engineering (sigsoft) Software Engineering Notes (sen), 2014, p. 1-5