Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification

Résumé

Runtime Verification consists in studying a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging consists in studying a system at runtime in order to discover and understand its bugs and fix them, inspecting interactively its internal state. Interactive Runtime Verification (i-RV) combines runtime verification and interactive debugging. We define an efficient and convenient way to check behavioral properties automatically on a program using a debugger. We aim at helping bug discovery and understanding by guiding classical interactive debugging techniques using runtime verification.
Fichier principal
Vignette du fichier
ieee.pdf (992.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01592671 , version 1 (25-09-2017)

Identifiants

  • HAL Id : hal-01592671 , version 1

Citer

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget. Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification. ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France. ⟨hal-01592671⟩
236 Consultations
232 Téléchargements

Partager

Gmail Facebook X LinkedIn More