Abstract: We propose a summarization technique that provides a clear and concise picture of the history of program ... a tool for Java execution visualization that renders execution states and history ...