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.
@article{arxiv.1705.05315,
title = {Interactive Runtime Verification},
author = {Raphaël Jakse and Yliès Falcone and Jean-François Méhaut and Kevin Pouget},
journal= {arXiv preprint arXiv:1705.05315},
year = {2017}
}
Comments
Preprint, extended version before submission to ISSRE 2017