Publication Type : Book Chapter
Publisher : In: Falcone Y., Sanchez C. (eds), Runtime Verification, RV 2016, Lecture Notes in Computer Science, Springer Cham
Source : In: Falcone Y., Sanchez C. (eds), Runtime Verification, RV 2016, Lecture Notes in Computer Science, Springer Cham, Volume 10012, p.491-494 (2016)
Keywords : Finite state model extraction, Object, Runtime verification, Runtime visualization, Sequence, State diagrams
Campus : Amritapuri
School : Department of Computer Science and Engineering, School of Engineering
Department : Computer Science
Verified : No
Year : 2016
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.
Cite this Research Publication : Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, and Swaminathan J., “Runtime visualization and verification in JIVE”, in In: Falcone Y., Sanchez C. (eds), Runtime Verification, RV 2016, Lecture Notes in Computer Science, vol. 10012, Springer Cham, 2016, pp. 491-494.