Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Shen, Zhuohang, Yaseen, Mohammed, Silva, Denini, Guan, Kevin, Lee, Junho, d'Amorim, Marcelo, Legunsen, Owolabi
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Configuration Defects in Kubernetes
por: Zhang, Yue, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

Varanus: Runtime Verification for CSP
por: Luckcuck, Matt, et al.
Publicado: (2025)

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

AgentGuard: Runtime Verification of AI Agents
por: Koohestani, Roham
Publicado: (2025)

Enhancing LLM Code Generation: A Systematic Evaluation of Multi-Agent Collaboration and Runtime Debugging for Improved Accuracy, Reliability, and Latency
por: Ashrafi, Nazmus, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Note on Runtime Verification of Concurrent Systems
por: Leucker, Martin
Publicado: (2025)