Using Runtime Analysis to Guide Model Checking of Java Programs
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Design of a Toolset for Dynamic Analysis of Concurrent Java Programs
IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension
Kieker: continuous monitoring and on demand visualization of Java software behavior
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Hi-index | 0.01 |
This paper presents a set of tools called Java Debugging Laboratory (JDLab). The JDLab: (1) enables to trace applications without modification of source or byte code, (2) allows selection of monitoring points also in case the source code is not available, (3) does not require any modifications of the used Java Virtual Machine (4) records events with minimal overhead and (5) offers tools to analyze the recorded data including thread information, stack traces, method argument/return values, method control flows and exception events. The theoretical fundamentals used for the implementation of JDLab will be briefly explained.