This book constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St. Julians, Malta, in November 2010. The 23 revised full papers presented together with 6 invited papers, 6 tutorials and 4 tool demonstrations were carefully reviewed and selected from 74 submissions. The papers address a wide range of topics such as runtime monitoring, analysis and verification, statically and dynamical, runtime simulations, together with applications in malware analysis and failure recovery, as well as execution tracing in embedded systems.
Author(s): Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)
Series: Lecture Notes in Computer Science 6418 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 492
Tags: Software Engineering; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages
Front Matter....Pages -
Automatic Requirement Extraction from Test Cases....Pages 1-15
Code Contracts for .NET: Runtime Verification and So Much More....Pages 16-17
Visual Debugging for Stream Processing Applications....Pages 18-35
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?....Pages 36-50
Contracts for Scala....Pages 51-57
Runtime Analysis and Instrumentation for Securing Software....Pages 58-58
Run-Time Verification of Networked Software....Pages 59-73
Clara: Partially Evaluating Runtime Monitors at Compile Time....Pages 74-88
You Should Better Enforce Than Verify....Pages 89-105
Runtime Verification for the Web....Pages 106-121
Statistical Model Checking: An Overview....Pages 122-135
Runtime Verification with the RV System....Pages 136-152
A Meta-Aspect Protocol for Developing Dynamic Analyses....Pages 153-167
Behavior Abstraction in Malware Analysis....Pages 168-182
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time....Pages 183-197
Checking the Correspondence between UML Models and Implementation....Pages 198-213
Compensation-Aware Runtime Monitoring....Pages 214-228
Recovery Tasks: An Automated Approach to Failure Recovery....Pages 229-244
Formally Efficient Program Instrumentation....Pages 245-252
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs....Pages 253-269
Causality Analysis in Contract Violation....Pages 270-284
Reducing Configurations to Monitor in a Software Product Line....Pages 285-299
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis....Pages 300-314
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects....Pages 315-329
Verification of an AFDX Infrastructure Using Simulations and Probabilities....Pages 330-344
Copilot: A Hard Real-Time Runtime Monitor....Pages 345-359
StealthWorks: Emulating Memory Errors....Pages 360-367
Efficient Data Race Detection for Async-Finish Parallelism....Pages 368-383
Run-Time Verification of Optimistic Concurrency....Pages 384-398
Who Guards the Guardians? — Toward V&V of Health Management Software....Pages 399-404
Aspect-Oriented Instrumentation with GCC....Pages 405-420
Runtime Verification for Software Transactional Memories....Pages 421-435
Optimized Temporal Monitors for SystemC....Pages 436-451
Runtime Verification of Stochastic, Faulty Systems....Pages 452-459
Low-Overhead Bug Fingerprinting for Fast Debugging....Pages 460-468
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems....Pages 469-474
A Tool Which Mines Partial Execution Traces to Improve Static Analysis....Pages 475-479
LarvaStat: Monitoring of Statistical Properties....Pages 480-484
WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart....Pages 485-489
Back Matter....Pages -
