Cover Image

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shen, Zhuohang, Yaseen, Mohammed, Silva, Denini, Guan, Kevin, Lee, Junho, d'Amorim, Marcelo, Legunsen, Owolabi
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bug Histories as Sources of Compiler Fuzzing Mutators
by: Liu, Lingjun, et al.
Published: (2025)

The Effects of Computational Resources on Flaky Tests
by: Silva, Denini, et al.
Published: (2023)

A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
by: Kulsum, Ummay, et al.
Published: (2024)

Configuration Defects in Kubernetes
by: Zhang, Yue, et al.
Published: (2025)

Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers
by: Hamer, Sivana, et al.
Published: (2024)

Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
by: Qin, Feiran, et al.
Published: (2025)

XMutant: XAI-based Fuzzing for Deep Learning Systems
by: Chen, Xingcheng, et al.
Published: (2025)

Misbehavior Forecasting for Focused Autonomous Driving Systems Testing
by: Naziri, M M Abid, et al.
Published: (2025)

Testing Deep Learning Libraries via Neurosymbolic Constraint Learning
by: Naziri, M M Abid, et al.
Published: (2026)

Improving Deep Learning Library Testing with Machine Learning
by: Molina, Facundo, et al.
Published: (2026)

Code Quality Analysis of Translations from C to Rust
by: Tadesse, Biruk, et al.
Published: (2026)

Agentic LMs: Hunting Down Test Smells
by: Melo, Rian, et al.
Published: (2025)

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)

Enhancing LLM Code Generation: A Systematic Evaluation of Multi-Agent Collaboration and Runtime Debugging for Improved Accuracy, Reliability, and Latency
by: Ashrafi, Nazmus, 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)

Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
by: Mahe, Erwan, et al.
Published: (2024)

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

SBFT Tool Competition 2024 -- Python Test Case Generation Track
by: Erni, Nicolas, et al.
Published: (2024)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
by: Harie, Yojiro, et al.
Published: (2024)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
by: Ferrando, Angelo
Published: (2025)

Assessing the Feasibility of Selective Instrumentation for Runtime Code Coverage in Large C++ Game Engines
by: Gauk, Ian, et al.
Published: (2026)

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

Evaluating Large Language Models for Code Translation: Effects of Prompt Language and Prompt Design
by: Aljagthami, Aamer, et al.
Published: (2025)

Quality Assessment of Python Tests Generated by Large Language Models
by: Alves, Victor, et al.
Published: (2025)

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

An Empirical Study of Python Library Migration Using Large Language Models
by: Islam, Md Mohayeminul, et al.
Published: (2025)

ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024)

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)

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

HQPEF-Py: Metrics, Python Patterns, and Guidance for Evaluating Hybrid Quantum Programs
by: Osei, Michael Adjei, et al.
Published: (2025)

Beyond pip install: Evaluating LLM Agents for the Automated Installation of Python Projects
by: Milliken, Louis, et al.
Published: (2024)

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

Optimizing Code Runtime Performance through Context-Aware Retrieval-Augmented Generation
by: Acharya, Manish, et al.
Published: (2025)

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