Interactive Runtime Verification
Rapha\"el Jakse, Yli\`es Falcone, Jean-Fran\c{c}ois M\'ehaut, Kevin, Pouget

TL;DR
Interactive Runtime Verification (i-RV) integrates monitoring and debugging to automatically check behavioral properties during program execution, aiding bug discovery while preserving debugging interactivity.
Contribution
The paper introduces an efficient method to perform automatic behavioral property checking within a debugger, combining runtime monitoring with interactive debugging techniques.
Findings
Enables automatic behavioral property verification during debugging.
Maintains interactivity for bug understanding and fixing.
Enhances bug discovery process at runtime.
Abstract
Monitoring is the study of a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging is the study of 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 monitoring 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 while keeping the classical debugging techniques and interactivity, which allow understanding and fixing bugs.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Logic, programming, and type systems · Software Testing and Debugging Techniques
