EasyChair Publications
Search
Paper Information
Paper:Ylies Falcone, Jean-Claude Fernandez and Laurent Mounier
On the Expressiveness of some Runtime Validation Techniques
Title:On the Expressiveness of some Runtime Validation Techniques
Authors:Ylies Falcone, Jean-Claude Fernandez and Laurent Mounier
Paper:
Abstract:Runtime validation techniques have been proposed as artifacts to detect and/or correct unforeseen behaviours of computer systems.
Their common features is to give only partial validation results, based on a restricted set of system executions produced in the real execution environment. A key issue is thus to better understand which kind of properties can (or cannot) be validated using such techniques.

We focus on three techniques known as runtime verification, property-oriented testing, and runtime enforcement. We present these approaches at an abstract level and in a unified framework, and we discuss their respective ability to deal with properties on infinite execution sequences, that are commonly encountered in many application domains.
Volume:Andrei Voronkov and Margarita Korovina (editors). HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Series:EPiC Series in Computing
Volume number:42
Pages:112-123
Editors:Andrei Voronkov and Margarita Korovina
Page views:10
Downloads:11
BibTeX entry:
@inproceedings{HOWARD-60:On_the_Expressiveness_of_some_Runtime_Validation_Techniques,
  author    = {Yli\verb=\=`es Falcone and Jean-Claude Fernandez and Mounier Laurent},
  title     = {On the Expressiveness of some Runtime Validation Techniques},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {112-123},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}