Dynamic Event Generation for Runtime Checking using the JDI

13 years 4 months ago

Download csd.informatik.uni-oldenburg.de

Approaches to runtime checking have to track the execution of a software system and therefore have to deal with generating and processing execution events. Often these techniques are applied at the code level

Mark Brörkens, Michael Möller

Real-time Traffic

Code | ENTCS 2002 | Java Byte Code | Java Debug Interface |

claim paper

» Static Checking of Dynamically Generated Queries in Database Applications

» Active property checking

» Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation

» Software Bubbles Using Predication to Compensate for Aliasing in Software Pipelines

» Decoupled lifeguards enabling path optimizations for dynamic correctness checking tools

» Taming hardware event samples for FDO compilation

» Systematic Generation of Dependable Change Coordination Plans for Automated Switching of C...

» A Gentle Introduction to Multistage Programming

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2002
Where	ENTCS
Authors	Mark Brörkens, Michael Möller

Comments (0)

Sciweavers

Dynamic Event Generation for Runtime Checking using the JDI

Code | ENTCS 2002 | Java Byte Code | Java Debug Interface |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers