Jive is a runtime visualization system that provides (1) a visual representation of the execution of a Java program, including UML-style object and sequence diagrams as well as domain specific diagrams, (2) temporal query-based analysis over program schedules, executions, and traces, (3) finite-state automata based upon key object attributes of interest to the user, and (4) verification of the correctness of program execution with respect to design-time specifications. In this paper we describe the overall Jive tool-chain and its features. © Springer International Publishing AG 2016.
cited By 0
La Ziarek, Jayaraman, Ba, Lessa, Da, and Swaminathan J., “Runtime visualization and verification in JIVE”, 16th International Conference on Runtime Verification, RV 2016 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10012 LNCS. Springer Verlag, Madrid, Spain, pp. 493-497, 2016.