@inproceedings{jakse:hal-01592671, TITLE = {{Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification}}, AUTHOR = {Jakse, Rapha{\"e}l and Falcone, Yli{\`e}s and M{\'e}haut, Jean-Fran{\c c}ois and Pouget, Kevin}, URL = {https://inria.hal.science/hal-01592671}, BOOKTITLE = {{ISSRE17 - 28th International Symposium on Software Reliability Engineering }}, ADDRESS = {Toulouse, France}, YEAR = {2017}, MONTH = Oct, PDF = {https://inria.hal.science/hal-01592671/file/ieee.pdf}, HAL_ID = {hal-01592671}, HAL_VERSION = {v1}, }