Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Barringer, Howard (Editor), Falcone, Ylies (Editor), Finkbeiner, Bernd (Editor), Havelund, Klaus (Editor), Lee, Insup (Editor), Pace, Gordon (Editor), Roşu, Grigore (Editor), Sokolsky, Oleg (Editor), Tillmann, Nikolai (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6418
Subjects:
Computer science.
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Algorithms.
Computer logic.
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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 with GCC
  • 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.

Similar Items