TIE: Thread Interleaving Explorer

TIE ScreenshotProject Members:

Software:

Description:

This project has developed new visualization techniques for the model checker Java Pathfinder (JPF). TIE works as an Eclipse plugin with the JPF Eclipse plugin to provide exploration of error traces.

Publications:

Exhibits & Demos:

  • Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins. “TIE: Thread Interleaving Visualizer”, In Technology Showcase at the 20th Annual International Conference on Computer Science and Software Engineering (CASCON 2010), Toronto, Ontario, Canada, Nov. 2010.