Publication Type:

Conference Proceedings

Source:

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), Springer Verlag, Volume 10012 LNCS, Madrid, Spain, p.493-497 (2016)

URL:

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84990237125&partnerID=40&md5=1620eaa8c19133f3c7ce73c39b5e8584

Keywords:

Finite state model extraction, Object, Runtime verification, Runtime visualization, Sequence, State diagrams

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. © Springer International Publishing AG 2016.

Notes:

cited By 0

Cite this Research Publication

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.