Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Arrieta, Aitor, Valle, Pablo, Ali, Shaukat
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

Exploring the Potential of Large Language Models in Simulink-Stateflow Mutant Generation
by: Valle, Pablo, et al.
Published: (2026)

An Empirical Evaluation of White-box and Black-box Test Case Prioritization Techniques in CPSs Modeled in Simulink
by: Arrieta, Aitor
Published: (2025)

VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
by: Saurabh, Prasun, et al.
Published: (2026)

Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots
by: Valle, Pablo, et al.
Published: (2025)

Metamorphic Testing of Vision-Language Action-Enabled Robots
by: Valle, Pablo, et al.
Published: (2026)

Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels
by: Nylænder, Karoline, et al.
Published: (2025)

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

A Tool for Benchmarking Large Language Models' Robustness in Assessing the Realism of Driving Scenarios
by: Wu, Jiahui, et al.
Published: (2025)

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

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
by: Wu, Jiahui, et al.
Published: (2025)

Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models
by: Wu, Jiahui, et al.
Published: (2024)

Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
by: Yousaf, Muhammad, et al.
Published: (2026)

Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context
by: Wang, Xinyi, et al.
Published: (2024)

Automated Repair of Cyber-Physical Systems
by: Valle, Pablo
Published: (2025)

ASTRAL: Automated Safety Testing of Large Language Models
by: Ugarte, Miriam, et al.
Published: (2025)

Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study
by: Wu, Jiahui, et al.
Published: (2025)

Search-based Testing of Simulink Models with Requirements Tables
by: Formica, Federico, et al.
Published: (2025)

Search-Based Quantum Program Testing via Commuting Pauli String
by: Muqeet, Asmar, et al.
Published: (2026)

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

Quantum Circuit Repair by Gate Prioritisation
by: Usandizaga, Eñaut Mendiluze, et al.
Published: (2026)

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

Evaluating Search-Based Software Microbenchmark Prioritization
by: Laaber, Christoph, et al.
Published: (2022)

Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
by: Muqeet, Asmar, et al.
Published: (2024)

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

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

GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
by: Ayerdi, Jon, et al.
Published: (2023)

Early External Safety Testing of OpenAI's o3-mini: Insights from the Pre-Deployment Evaluation
by: Arrieta, Aitor, et al.
Published: (2025)

o3-mini vs DeepSeek-R1: Which One is Safer?
by: Arrieta, Aitor, et al.
Published: (2025)

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

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

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
by: Li, Fengjie, 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)

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

Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
by: Hyun, Sangwon, et al.
Published: (2025)

Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
by: Sartaj, Hassan, et al.
Published: (2023)

Search-based Robustness Testing of Laptop Refurbishing Robotic Software
by: Isaku, Erblin, et al.
Published: (2026)

Requirements-driven Slicing of Simulink Models Using LLMs
by: Luitel, Dipeeka, et al.
Published: (2024)

Collaborative Agents for Automated Program Repair in Ruby
by: Akbarpour, Nikta, et al.
Published: (2025)

Assessing Quantum Extreme Learning Machines for Software Testing in Practice
by: Muqeet, Asmar, et al.
Published: (2024)