The following tutorials demonstrate the capabilities of JIVE. We have included video demonstrations, online tutorials, presentations, screen shots, and a collection of reference applications which you can use to explore JIVE.

Video Demos

  • Introduction to JIVE (Spring 2010) is a 5 minute screencast (with sound) covering some of the more advanced features of JIVE: (1) template queries; (2) folding operations; (3) automatically folding the sequence diagram to focus on selected query answers; (4) using reverse execution after focusing on a query answer. The demo runs a simple binary tree example.
  • JIVE Basics 1/2 (Spring 2010) is a 5 minute screencast (no sound) covering: (1) JIVE configuration options; (2) how to debug a Java application using JIVE; (3) using the JIVE perspective and the available views, including the Object Diagram and Sequence Diagram views (which allow you to export the runtime diagrams). The demo runs Sun's Dining Philosophers example application, showing how easy it is to explore concurrent behavior using our tool.
  • JIVE Basics 1/2 (Spring 2010) is a 6 minute screencast (no sound) continuation of the first part, covering: (1) the contour and sequence models; (2) the event log and how to copy the raw data to the clipboard; (3) the JIVE search window, which provides template queries over the underlying execution history; (4) the JIVE way of presenting search results-- in a tree-like (or tabe-like) fashion and as a red square on the sequence diagram; (5) JIVE's reverse execution feature, wherein a double-click on a search answer takes the execution back to the instant at which the corresponding search answered occurred in the execution (the object and sequence diagrams are synchronized accordingly).

Online Tutorials

  • Beginning to Debug with JIVE (Fall 2007) demonstrates how to initiate debugging with JIVE. It introduces the key concepts of JIVE and also briefly describes each of the views provided by the JIVE perspective. Users new to JIVE should read this tutorial first. A working knowledge of Eclipse is assumed.
  • Declarative Debugging in JIVE (Spring 2008) demonstrates JIVE's ability to visualize program executions and revisit past states is indeed very useful. However, in conjunction with the ability to also search through a program's execution history, JIVE becomes a powerful tool for declarative and visual debugging. In this tutorial, we will explore JIVE's declarative (or query-based) debugging facility and see how it ties together with visualization and reverse stepping..


Screenshots will be available soon.


Presentations will be available soon.