Barringer / Falcone / Finkbeiner Runtime Verification

First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Erscheinungsjahr 2010
ISBN: 978-3-642-16612-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 492 Seiten, eBook

Reihe: Programming and Software Engineering

Zielgruppe

Research

Autoren/Hrsg.

Barringer, Howard

Falcone, Ylies

Finkbeiner, Bernd

Havelund, Klaus

Lee, Insup

Pace, Gordon

Rosu, Grigore

Sokolsky, Oleg

Tillmann, Nikolai

Inhaltsverzeichnis

Invited Papers.- Automatic Requirement Extraction from Test Cases.- Code Contracts for .NET: Runtime Verification and So Much More.- Visual Debugging for Stream Processing Applications.- Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?.- Contracts for Scala.- Runtime Analysis and Instrumentation for Securing Software.- Tutorials.- Run-Time Verification of Networked Software.- Clara: Partially Evaluating Runtime Monitors at Compile Time.- You Should Better Enforce Than Verify.- Runtime Verification for the Web.- Statistical Model Checking: An Overview.- Runtime Verification with the RV System.- Regular and Short Papers.- A Meta-Aspect Protocol for Developing Dynamic Analyses.- Behavior Abstraction in Malware Analysis.- Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time.- Checking the Correspondence between UML Models and Implementation.- Compensation-Aware Runtime Monitoring.- Recovery Tasks: An Automated Approach to Failure Recovery.- Formally Efficient Program Instrumentation.- Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs.- Causality Analysis in Contract Violation.- Reducing Configurations to Monitor in a Software Product Line.- Runtime Instrumentation for Precise Flow-Sensitive Type Analysis.- Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects.- Verification of an AFDX Infrastructure Using Simulations and Probabilities.- Copilot: A Hard Real-Time Runtime Monitor.- StealthWorks: Emulating Memory Errors.- Efficient Data Race Detection for Async-Finish Parallelism.- Run-Time Verification of Optimistic Concurrency.- Who Guards the Guardians? — Toward V&V of Health Management Software.- Aspect-Oriented Instrumentation withGCC.- Runtime Verification for Software Transactional Memories.- Optimized Temporal Monitors for SystemC.- Runtime Verification of Stochastic, Faulty Systems.- Low-Overhead Bug Fingerprinting for Fast Debugging.- Tool Demonstrations.- ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems.- A Tool Which Mines Partial Execution Traces to Improve Static Analysis.- LarvaStat: Monitoring of Statistical Properties.- WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart.