Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Raphaël Jakse Connect in order to contact the contributor
Submitted on : Monday, September 25, 2017 - 11:46:51 AM
Last modification on : Sunday, June 26, 2022 - 5:04:03 AM
Long-term archiving on: : Tuesday, December 26, 2017 - 12:59:31 PM


Files produced by the author(s)


  • HAL Id : hal-01592671, version 1



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⟩



Record views


Files downloads