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.
- Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins. “TIE: An Interactive Visualization of Thread Interleavings”, Proc. of the 5th ACM Symposium on Software Visualization (SoftVis’10), Salt Lake City, Utah, USA, Oct. 2010, 2 pp. SoftVis’10 Best Poster Award.
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.