Conference Papers Year : 2017

Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01592671 , version 1

Cite

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⟩
247 View
257 Download

Share

More