Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification - Inria - Institut national de recherche en sciences et technologies du numérique
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⟩
246 Consultations
252 Téléchargements

Partager

More