Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification

被引：5
|
作者：
Jakse, Raphael [1 ]
Falcone, Ylies [1 ]
Mehaut, Jean-Francois [1 ]
Pouget, Kevin [1 ]
机构：
[1] Univ Grenoble Alpes, CNRS, INRIA, Grenoble INP,LIG, F-38000 Grenoble, France
来源：
2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE) | 2017年
关键词：
D O I：
10.1109/ISSRE.2017.19
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：182 / 193
页数：12
相关论文
共 50 条
  • [1] Testing Meets Static and Runtime Verification
    Chimento, Jesus Mauricio
    Ahrendt, Wolfgang
    Schneider, Gerardo
    [J]. 2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 30 - 39
  • [2] Interactive and targeted runtime verification using a debugger-based architecture
    Naert, Paul
    Azhari, Seyed Vahid
    Dagenais, Michel
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2021, 115
  • [3] Demonstration of Interactive Runtime Debugging of Distributed Dataflows in Texera
    Wang, Zuozhi
    Kumar, Avinash
    Ni, Shengquan
    Li, Chen
    [J]. PROCEEDINGS OF THE VLDB ENDOWMENT, 2020, 13 (12): : 2953 - 2956
  • [4] Interactive Runtime Verification - a Ph.D to Improve Bug Detection and Understanding
    Jakse, Raphael
    [J]. 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 124 - 127
  • [5] Runtime Verification for HyperLTL
    Bonakdarpour, Borzoo
    Finkbeiner, Bernd
    [J]. RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 41 - 45
  • [6] Architectural Runtime Verification
    Stockmann, Lars
    Laux, Sven
    Bodden, Eric
    [J]. 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2019), 2019, : 77 - 84
  • [7] Runtime Verification for Blockchains
    Ganguly, Ritam
    [J]. 2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), 2021, : 347 - 348
  • [8] An Interactive Verification Tool Meets an IDE
    Hentschel, Martin
    Kaesdorf, Stefan
    Haehnle, Reiner
    Bubel, Richard
    [J]. INTEGRATED FORMAL METHODS, IFM 2014, 2014, 8739 : 55 - 70
  • [9] Reactive Control Meets Runtime Verification: A Case Study of Navigation
    Ulus, Dogan
    Belta, Cahn
    [J]. RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 368 - 374
  • [10] Checking and Enforcing Safety: Runtime Verification and Runtime Reflection
    Leucker, Martin
    [J]. ERCIM NEWS, 2008, (75): : 35 - 36
12345