Titlebook: Runtime Verification; First International Howard Barringer,Ylies Falcone,Nikolai Tillmann Conference proceedings 2010 Springer Berlin Heid

显微镜

Formally Efficient Program Instrumentationiterion based on that of Popek and Goldberg for virtual machines and on our previous work relating this to Jones optimality of program specializers. We further suggest linguistic constraints on instrumentation code to enable more aggressive static optimization of dynamically instrumented programs.

表示向前

Visual Debugging for Stream Processing Applications operators. The user can interactively indicate points in the streaming application from where tuples will be traced and visualized as they flow through different operators, without stopping the application. To substantiate our discussion, we also discuss several of these features in the context of a financial engineering application.

FLUSH

鞭子

Recovery Tasks: An Automated Approach to Failure Recoveryhe control versions. Moreover, the recovery task version of the game benchmark successfully recovered from a real fault that we accidentally introduced during development, while the same fault caused the two control versions to crash.

急性

Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?. Specifically, we describe how recent approaches to reducing the overhead of runtime monitoring aimed at error detection might be adapted to reduce the overhead and improve the effectiveness of fault diagnosis.

COM

Permanent

Missile

A Meta-Aspect Protocol for Developing Dynamic Analyses expert can develop a particular analysis. Our design enables a flexible specification of the join point model, configurability of aspect deployment and scoping, and extensibility of pointcut and advice language. We present the application of our design to different dynamic analysis domains.

一大群

Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Timeucceeds on all locations, proving that the program fulfills the stated properties, and completely obviating the need for runtime monitoring. In the remaining cases, the residual runtime monitor is usually much more efficient than a full monitor, yet still captures all property violations at runtime.

outskirts