Visualization of program execution is a powerful means to comprehend program behavior. Sequence diagrams have long been used for representing the control flow of object-oriented programs. Since the ...