GSoC/GCI Archive
Google Summer of Code 2011 The Java Pathfinder Team

Effective representation of symbolic execution tree for SPF

by Guowei Yang for The Java Pathfinder Team

This project implements an efficient trie-based data structure representation for the symbolic execution tree for Symbolic Pathfinder. The goal is to define a data structure that compactly represents symbolic execution tree and can be maintained on-the-fly, as the program undergoes changes.