Cover Image

Automated Repair of Cyber-Physical Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Valle, Pablo
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

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
by: Arrieta, Aitor, et al.
Published: (2024)

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
by: Lu, Chengjie, et al.
Published: (2025)

Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
by: Jodat, Baharin A., et al.
Published: (2025)

Automated Concern Extraction from Textual Requirements of Cyber-Physical Systems: A Multi-solution Study
by: Jin, Dongming, et al.
Published: (2025)

Dynamic Risk Management in Cyber Physical Systems
by: Schneider, Daniel, et al.
Published: (2024)

ThinkRepair: Self-Directed Automated Program Repair
by: Yin, Xin, et al.
Published: (2024)

MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems
by: Wang, Renzhi, et al.
Published: (2024)

Towards an Engineering Discipline for Resilient Cyber-Physical Systems
by: Caldas, Ricardo D.
Published: (2024)

Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)

Industrial Survey on Robustness Testing In Cyber Physical Systems
by: Ponsard, Christophe, et al.
Published: (2026)

Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems
by: Muzy, Alexandre
Published: (2026)

An Evaluation of Requirements Modeling for Cyber-Physical Systems via LLMs
by: Jin, Dongming, et al.
Published: (2024)

Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
by: Ali, Shaukat, et al.
Published: (2024)

Specification Vibing for Automated Program Repair
by: Zhu, Taohong, et al.
Published: (2026)

Patch Validation in Automated Vulnerability Repair
by: Yu, Zheng, et al.
Published: (2026)

Energy Consumption of Automated Program Repair
by: Martinez, Matias, et al.
Published: (2022)

Automated Repair of Resource Leaks in Android Applications
by: Bhatt, Bhargav Nagaraja, et al.
Published: (2020)

The Impact of Program Reduction on Automated Program Repair
by: Vidziunas, Linas, et al.
Published: (2024)

ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs
by: Nielebock, Sebastian, et al.
Published: (2024)

Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
by: Etemadi, Khashayar, et al.
Published: (2025)

Towards a Unifying Reference Model for Digital Twins of Cyber-Physical Systems
by: Pfeiffer, Jerome, et al.
Published: (2025)

DPM-Bench: Benchmark for Distributed Process Mining Algorithms on Cyber-Physical Systems
by: Reiter, Hendrik, et al.
Published: (2025)

DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging
by: Wu, Linhao, et al.
Published: (2026)

PathFix: Automated Program Repair with Expected Path
by: He, Xu, et al.
Published: (2025)

On The Effectiveness of Dynamic Reduction Techniques in Automated Program Repair
by: Al-Bataineh, Omar I.
Published: (2024)

Automated Test Case Repair Using Language Models
by: Yaraghi, Ahmadreza Saboor, et al.
Published: (2024)

Towards Practical and Useful Automated Program Repair for Debugging
by: Xin, Qi, et al.
Published: (2024)

BUGSPHP: A dataset for Automated Program Repair in PHP
by: Pramod, K. D., et al.
Published: (2024)

Reusing Model Validation Methods for the Continuous Validation of Digital Twins of Cyber-Physical Systems
by: Mertens, Joost, et al.
Published: (2025)

Less Training, More Repairing Please: Revisiting Automated Program Repair via Zero-shot Learning
by: Xia, Chunqiu Steven, et al.
Published: (2022)

ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs
by: Kong, Jiaolong, et al.
Published: (2024)

Automated Repair of C Programs Using Large Language Models
by: Farzandway, Mahdi, et al.
Published: (2025)

Exploring Generalizable Automated Program Repair with Large Language Models
by: Campos, Viola, et al.
Published: (2025)

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments
by: Hu, Yiwei, et al.
Published: (2025)

Adapting Knowledge Prompt Tuning for Enhanced Automated Program Repair
by: Cai, Xuemeng, et al.
Published: (2025)

RePurr: Automated Repair of Block-Based Learners' Programs
by: Schweikl, Sebastian, et al.
Published: (2025)

Empirical Evaluation of Large Language Models in Automated Program Repair
by: Sun, Jiajun, et al.
Published: (2025)

TSAPR: A Tree Search Framework For Automated Program Repair
by: Hu, Haichuan, et al.
Published: (2025)

PCART: Automated Repair of Python API Parameter Compatibility Issues
by: Zhang, Shuai, et al.
Published: (2024)