Cover Image

Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Gall, Pascale Le
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
by: Mahe, Erwan, et al.
Published: (2024)

Specializing anti-unification for interaction models composition via gate connections
by: Nguetoum, Joel, et al.
Published: (2025)

Runtime Verification of Interactions Using Automata
by: Weil-Kennedy, Chana, et al.
Published: (2025)

An Efficient VCGen-based Modular Verification of Relational Properties
by: Blatter, Lionel, et al.
Published: (2024)

A Case Study on Model Checking and Runtime Verification for Awkernel
by: Hasegawa, Akira, et al.
Published: (2025)

Varanus: Runtime Verification for CSP
by: Luckcuck, Matt, et al.
Published: (2025)

A Case Study on Runtime Verification of a Continuous Deployment Process
by: Ansai, Shoma, et al.
Published: (2026)

AgentGuard: Runtime Verification of AI Agents
by: Koohestani, Roham
Published: (2025)

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
by: Shen, Zhuohang, et al.
Published: (2025)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
by: Caldas, Ricardo, et al.
Published: (2024)

Runtime Verification on Abstract Finite State Models
by: Jevitha, KP, et al.
Published: (2024)

Assessing the Capability of Android Dynamic Analysis Tools to Combat Anti-Runtime Analysis Techniques
by: Suo, Dewen, et al.
Published: (2025)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
by: Saadat, Maryam Ghaffari, et al.
Published: (2024)

ToolMisuseBench: An Offline Deterministic Benchmark for Tool Misuse and Recovery in Agentic Systems
by: Sigdel, Akshey, et al.
Published: (2026)

REDriver: Runtime Enforcement for Autonomous Vehicles
by: Sun, Yang, et al.
Published: (2024)

Measuring the Runtime Performance of C++ Code Written by Humans using GitHub Copilot
by: Erhabor, Daniel, et al.
Published: (2023)

Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments
by: Aslam, Iqra, et al.
Published: (2023)

MCP-SandboxScan: WASM-based Secure Execution and Runtime Analysis for MCP Tools
by: Tan, Zhuoran, et al.
Published: (2026)

The role of slicing in test-driven development
by: Dieste, Oscar, et al.
Published: (2024)

Comparing Effectiveness and Efficiency of Interactive Application Security Testing (IAST) and Runtime Application Self-Protection (RASP) Tools in a Large Java-based System
by: Seth, Aishwarya, et al.
Published: (2023)

Runtime Enforcement for Operationalizing Ethics in Autonomous Systems
by: De Sanctis, Martina, et al.
Published: (2026)

The Runtime Dimension of Ethics in Self-Adaptive Systems
by: Autili, Marco, et al.
Published: (2026)

Research on WebAssembly Runtimes: A Survey
by: Zhang, Yixuan, et al.
Published: (2024)

Building a Cybersecurity Risk Metamodel for Improved Method and Tool Integration
by: Ponsard, Christophe
Published: (2024)

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
by: He, Ruidi, et al.
Published: (2025)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
by: Basile, Davide
Published: (2025)

A Note on Runtime Verification of Concurrent Systems
by: Leucker, Martin
Published: (2025)

Runtime Composition in Dynamic System of Systems: A Systematic Review of Challenges, Solutions, Tools, and Evaluation Methods
by: Ashfaq, Muhammad, et al.
Published: (2025)

Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison
by: Wang, Ruixin, et al.
Published: (2025)

Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies
by: Shi, Jieke, et al.
Published: (2024)

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
by: Ayerdi, Jon, et al.
Published: (2023)

PROZE: Generating Parameterized Unit Tests Informed by Runtime Data
by: Tiwari, Deepika, et al.
Published: (2024)

Runtime-Augmented LLMs for Crash Detection and Diagnosis in ML Notebooks
by: Wang, Yiran, et al.
Published: (2026)

FlyCatcher: Neural Inference of Runtime Checkers from Tests
by: Souza, Beatriz, et al.
Published: (2026)

AROhI: An Interactive Tool for Estimating ROI of Data Analytics
by: Zambare, Noopur, et al.
Published: (2024)

RuntimeSlicer: Towards Generalizable Unified Runtime State Representation for Failure Management
by: Zhang, Lingzhe, et al.
Published: (2026)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
by: Sousa, Tiago, et al.
Published: (2024)

Runtime Verification via Rational Monitor with Imperfect Information
by: Ferrando, Angelo, et al.
Published: (2024)

Implementing Effective Changes in Software Projects to Optimize Runtimes and Minimize Defects
by: Gupta, Kartik
Published: (2025)

APISENSOR: Robust Discovery of Web API from Runtime Traffic Logs
by: Yang, Yanjing, et al.
Published: (2026)