Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification

Raphaël Jakse 1, 2, 3 Yliès Falcone 1, 2, 3 Jean-François Méhaut 1, 2, 3 Kevin Pouget 1
1 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 UGA - Université Grenoble Alpes
3 LIG - Laboratoire d'Informatique de Grenoble
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.
Type de document :
Communication dans un congrès
ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France. 2017
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01592671
Contributeur : Raphaël Jakse <>
Soumis le : lundi 25 septembre 2017 - 11:46:51
Dernière modification le : mercredi 11 avril 2018 - 01:53:36
Document(s) archivé(s) le : mardi 26 décembre 2017 - 12:59:31

Fichier

ieee.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01592671, version 1

Collections

LIG_SRCPR | LIG-SRCPR-CORSE | LIG | INRIA2017 | INRIA | UGA | INRIA-RENGRE

Citation

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. 2017. 〈hal-01592671〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

193

Téléchargements de fichiers

46

Contact


archive-ouverte@inria.fr