Buchumschlag

Exploring the Potential of Large Language Models in Simulink-Stateflow Mutant Generation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Valle, Pablo, Ali, Shaukat, Arrieta, Aitor
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
von: Arrieta, Aitor, et al.
Veröffentlicht: (2024)

Metamorphic Testing of Vision-Language Action-Enabled Robots
von: Valle, Pablo, et al.
Veröffentlicht: (2026)

Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots
von: Valle, Pablo, et al.
Veröffentlicht: (2025)

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

VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
von: Saurabh, Prasun, et al.
Veröffentlicht: (2026)

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

Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
von: Ali, Shaukat, et al.
Veröffentlicht: (2024)

Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models
von: Wu, Jiahui, et al.
Veröffentlicht: (2024)

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

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
von: Lu, Chengjie, et al.
Veröffentlicht: (2025)

Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
von: Yousaf, Muhammad, et al.
Veröffentlicht: (2026)

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
von: Wu, Jiahui, et al.
Veröffentlicht: (2025)

ASTRAL: Automated Safety Testing of Large Language Models
von: Ugarte, Miriam, et al.
Veröffentlicht: (2025)

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

Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study
von: Wu, Jiahui, et al.
Veröffentlicht: (2025)

Quantum Circuit Mutants: Empirical Analysis and Recommendations
von: Usandizaga, Eñaut Mendiluze, et al.
Veröffentlicht: (2023)

QMutBench: A Dataset of Quantum Circuit Mutants
von: Usandizaga, Eñaut Mendiluze, et al.
Veröffentlicht: (2026)

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
von: Ayerdi, Jon, et al.
Veröffentlicht: (2023)

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

o3-mini vs DeepSeek-R1: Which One is Safer?
von: Arrieta, Aitor, et al.
Veröffentlicht: (2025)

Meta-Fair: AI-Assisted Fairness Testing of Large Language Models
von: Romero-Arjona, Miguel, et al.
Veröffentlicht: (2025)

Large Language Models for Equivalent Mutant Detection: How Far Are We?
von: Tian, Zhao, et al.
Veröffentlicht: (2024)

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
von: Sartaj, Hassan, et al.
Veröffentlicht: (2025)

Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
von: Marzella, Michael, et al.
Veröffentlicht: (2025)

Search-based Testing of Simulink Models with Requirements Tables
von: Formica, Federico, et al.
Veröffentlicht: (2025)

Requirements-driven Slicing of Simulink Models Using LLMs
von: Luitel, Dipeeka, et al.
Veröffentlicht: (2024)

Assessing Quantum Extreme Learning Machines for Software Testing in Practice
von: Muqeet, Asmar, et al.
Veröffentlicht: (2024)

GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
von: Ayerdi, Jon, et al.
Veröffentlicht: (2023)

Exploring the Potential of Large Language Models in Self-adaptive Systems
von: Li, Jialong, et al.
Veröffentlicht: (2024)

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

Simulink Mutation Testing using CodeBERT
von: Zhang, Jingfan, et al.
Veröffentlicht: (2025)

Parallelized Code Generation from Simulink Models for Event-driven and Timer-driven ROS 2 Nodes
von: Obi, Kenshin, et al.
Veröffentlicht: (2025)

Exploring the Potential and Limitations of Large Language Models for Novice Program Fault Localization
von: Xu, Hexiang, et al.
Veröffentlicht: (2025)

Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
von: Sartaj, Hassan, et al.
Veröffentlicht: (2023)

Search-Based Quantum Program Testing via Commuting Pauli String
von: Muqeet, Asmar, et al.
Veröffentlicht: (2026)

Evaluating Search-Based Software Microbenchmark Prioritization
von: Laaber, Christoph, et al.
Veröffentlicht: (2022)

Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
von: Muqeet, Asmar, et al.
Veröffentlicht: (2024)

Envisioning Responsible Quantum Software Engineering and Quantum Artificial Intelligence
von: Bano, Muneera, et al.
Veröffentlicht: (2024)

Quantum Artificial Intelligence for Software Engineering: the Road Ahead
von: Wang, Xinyi, et al.
Veröffentlicht: (2025)

Using Fourier Analysis and Mutant Clustering to Accelerate DNN Mutation Testing
von: Ghanbari, Ali, et al.
Veröffentlicht: (2025)