@inproceedings{8bbd77ac436547c68641132357012b9b,
title = "Runtime visualization and verification in JIVE",
abstract = "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.",
keywords = "Finite state model extraction, Object, Runtime verification, Runtime visualization, Sequence, State diagrams",
author = "Lukasz Ziarek and Bharat Jayaraman and Demian Lessa and J. Swaminathan",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 16th International Conference on Runtime Verification, RV 2016 ; Conference date: 23-09-2016 Through 30-09-2016",
year = "2016",
doi = "10.1007/978-3-319-46982-9\_33",
language = "English",
isbn = "9783319469812",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "493--497",
editor = "Yli{\`e}s Falcone and C{\'e}sar S{\'a}nchez",
booktitle = "Runtime Verification - 16th International Conference, RV 2016, Proceedings",
address = "Germany",
}