Titlebook: Runtime Verification; 4th International Co Axel Legay,Saddek Bensalem Conference proceedings 2013 Springer-Verlag Berlin Heidelberg 2013 co

CAPE

An Optimized Memory Monitoring for Runtime Assertion Checking of C Programsng of annotations for pointers and memory locations (such as being valid, initialized, in a particular block, with a particular offset, etc.) is not straightforward and requires systematic instrumentation and monitoring of memory-related operations..This paper describes the runtime memory monitoring

舊式步槍

解凍

Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores Support of tools that can facilitate the detection of incorrect program execution when concurrent threads are involved is critical to this evolution. Many concurrency bugs manifest as some form of data race condition, and their runtime detection is inherently difficult due to the high overhead of t

VALID

Efficient Model to Query and Visualize the System States Extracted from Trace Datacing is enabled on such systems, the corresponding events in the trace logs can be used to extract and model the different state values of the traced modules to analyze their runtime behavior. In this paper, a generic method and corresponding data structures are proposed to model and manage the syst

左右連貫

Repair Abstractions for More Efficient Data Structure Repairental problem for software reliability. A promising approach to address this problem is .—a runtime approach designed to perform ., i.e., mutations of erroneous data structures to repair (certain) errors in program state, to allow the program to . from those errors and continue to execute. While dat

Palate

To Run What No One Has Run Before: Executing an Intermediate Verification Languagentation or specification responsible for the failure. Automatic generation of such tests would require “executing” the complex specifications typically used for verification (with unbounded quantification and other expressive constructs), something beyond the capabilities of standard testing tools..

Gleason-score

拾落穗

A Causality Analysis Framework for Component-Based Real-Time Systemse, and assume that causal dependencies between component interface events within components are not known. For such systems, we describe a causality analysis framework that helps us establish the causal relationship between component failures and system failures, given an observed system execution t

終點(diǎn)

Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniquespproaches use one of two ways for evaluating a set of logical properties: (1) ., where the program invokes the monitor when the state of the program changes, and (2) ., where the monitor periodically preempts the program and reads its state. Realizing the former is straightforward, but the runtime b

內(nèi)閣