Image de couverture de livre

Using Large Language Models for Black-Box Testing of FMU-Based Simulations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mughees, Abdullah, Sudheerbabu, Gaadha, Ahmad, Tanwir, Truscan, Dragos, Manngård, Mikael, Klemets, Kristian
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations
par: Kulshreshtha, Ashir, et autres
Publié: (2026)

Sketch2Simulation: Automating Flowsheet Generation via Multi Agent Large Language Models
par: Bahamdan, Abdullah, et autres
Publié: (2026)

PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
par: Tehrani, Masoud Jamshidiyan, et autres
Publié: (2025)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
par: Mandrioli, Claudio, et autres
Publié: (2024)

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
par: Patel, Milin, et autres
Publié: (2025)

Ladder Logic Translation using Large Language Models in Industrial Automation
par: Ogundare, Oluwatosin, et autres
Publié: (2026)

Formalization of the AADL Run-Time Services with Time
par: Larson, Brian R, et autres
Publié: (2025)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
par: Bhadani, Rahul, et autres
Publié: (2024)

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
par: Xu, Kangwei, et autres
Publié: (2025)

On Extending the Automatic Test Markup Language (ATML) for Machine Learning
par: Cody, Tyler, et autres
Publié: (2024)

Towards Using Behavior Trees in Industrial Automation Controllers
par: Sidorenko, Aleksandr, et autres
Publié: (2024)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
par: Parkash, Om, et autres
Publié: (2026)

Reasonable Experiments in Model-Based Systems Engineering
par: Cederbladh, Johan, et autres
Publié: (2025)

Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
par: Sinitsyn, Viktor, et autres
Publié: (2025)

An Architecture for Remote Container Builds and Artifact Delivery Using a Controller-Light Jenkins CI/CD Pipeline
par: Paul, Kawshik Kumar, et autres
Publié: (2025)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
par: Alexopoulos, Angelos, et autres
Publié: (2025)

ACT: Automated CPS Testing for Open-Source Robotic Platforms
par: Krishnan, Aditya A., et autres
Publié: (2026)

Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles
par: Xiao, Yizhuo, et autres
Publié: (2026)

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
par: Abbaspour, Alireza, et autres
Publié: (2026)

SAFLITE: Fuzzing Autonomous Systems via Large Language Models
par: Zhu, Taohong, et autres
Publié: (2024)

Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory
par: Hosseini, Amirreza, et autres
Publié: (2025)

Enhancing Holonic Architecture with Natural Language Processing for System of Systems
par: Ashfaq, Muhammad, et autres
Publié: (2024)

Few-Shot Scenario Testing for Autonomous Vehicles Based on Neighborhood Coverage and Similarity
par: Li, Shu, et autres
Publié: (2024)

Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
par: Wan, Hanlong, et autres
Publié: (2025)

LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
par: Li, Zirui, et autres
Publié: (2025)

Grid-Orch: An LLM-Powered Orchestrator for Distribution Grid Simulation and Analytics
par: Liu, Boming, et autres
Publié: (2026)

Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
par: Gatherer, Alan, et autres
Publié: (2024)

RAN Tester UE: An Automated Declarative UE Centric Security Testing Platform
par: Ueltschey, Charles Marion, et autres
Publié: (2025)

Towards Comprehensive Legislative Requirements for Cyber Physical Systems Testing in the European Union
par: Nguyen, Guillaume, et autres
Publié: (2024)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
par: Schubert, Richard, et autres
Publié: (2026)

TensorConvolutionPlus: A python package for distribution system flexibility area estimation
par: Chrysostomou, Demetris, et autres
Publié: (2025)

ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
par: Zuo, Jian, et autres
Publié: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
par: Wheaton, James S., et autres
Publié: (2024)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
par: Jayasuriya, Dinithi, et autres
Publié: (2026)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
par: Deantoni, Julien, et autres
Publié: (2024)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
par: Ellwein, Carsten, et autres
Publié: (2025)

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
par: Sidorenko, Aleksandr, et autres
Publié: (2024)

Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap
par: Mulayim, Ozan Baris, et autres
Publié: (2025)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
par: A., Gustavo Quiros, et autres
Publié: (2025)

COOCK project Smart Port 2025 D3.1: "To Twin Or Not To Twin"
par: Paredis, Randy, et autres
Publié: (2024)