Screen LibraryRuntime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings /
The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and stati...
Saved in:
| Corporate Authors: | ; |
|---|---|
| Group Author: | ; |
| Published: |
Springer,
|
| Publisher Address: | Heidelberg : |
| Publication Dates: | 2013. |
| Literature type: | eBook |
| Language: | English |
| Series: |
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science, 8174 |
| Subjects: | |
| Online Access: |
http://dx.doi.org/10.1007/978-3-642-40787-1 |
| Summary: |
The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization. |
| Item Description: |
International conference proceedings. Includes author index. |
| Carrier Form: | 1 online resource (xvii, 426 pages) |
| Bibliography: | Includes author index. |
| ISBN: |
9783642407871 (electronic bk.) 3642407870 (electronic bk.) 3642407862 (print) 9783642407864 (print) |
| Index Number: | QA76 |
| CLC: | TP311-532 |
| Contents: |
Invited Paper. Executing Specifications Using Synthesis and Constraint Solving / Regular Papers. Informative Types and Effects for Hybrid Migration Control / Monitoring of Temporal First-Order Properties with Aggregations / From Propositional to First-Order Monitoring / Right-Universality of Visibly Pushdown Automata / Distributed Finite-State Runtime Monitoring with Aggregated Events / Synthesising Correct Concurrent Runtime Monitors / Practical Interruptible Conversations / Runtime Verification with Particle Filtering / An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs / Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties / Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores / Efficient Model to Query and Visualize the System States Extracted from Trace Data / Repair Abstractions for More Efficient Data Structure Repair / To Run What No One Has Run Before: Executing an Intermediate Verification Language / Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations / A Causality Analysis Framework for Component-Based Real-Time Systems / Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques / Short Papers. A Scala DSL for Rete-Based Runtime Verification / A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools / Towards a Generic Non-intrusive Fault Detection Framework / A Witnessing Compiler: A Proof of Concept / Runtime Monitoring of Temporal Logic Properties in a Platform Game / Tool Papers. SMock -- A Test Platform for Monitoring Tools / SPY: Local Verification of Global Protocols / Tutorials. Instrumenting Android and Java Applications as Easy as abc / On Signal Temporal Logic / Runtime Verification and Refutation for Biological Systems / A Lesson on Runtime Assertion Checking with Frama-C / With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures / Dynamic Analysis and Debugging of Binary Code for Security Applications / |