Copertina

Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kulshreshtha, Ashir, Mughees, Abdullah, Sudheerbabu, Gaadha, Ahmad, Tanwir, Klemets, Kristian, Truscan, Dragos, Manngård, Mikael
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Using Large Language Models for Black-Box Testing of FMU-Based Simulations
di: Mughees, Abdullah, et al.
Pubblicazione: (2026)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
di: Mandrioli, Claudio, et al.
Pubblicazione: (2024)

LLM Assisted Coding with Metamorphic Specification Mutation Agent
di: Akhond, Mostafijur Rahman, et al.
Pubblicazione: (2025)

PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
di: Tehrani, Masoud Jamshidiyan, et al.
Pubblicazione: (2025)

AutoMT: A Multi-Agent LLM Framework for Automated Metamorphic Testing of Autonomous Driving Systems
di: Liang, Linfeng, et al.
Pubblicazione: (2025)

Sketch2Simulation: Automating Flowsheet Generation via Multi Agent Large Language Models
di: Bahamdan, Abdullah, et al.
Pubblicazione: (2026)

Test Adequacy for Metamorphic Testing: Criteria, Measurement, and Implication
di: Fu, An, et al.
Pubblicazione: (2024)

MORTAR: Multi-turn Metamorphic Testing for LLM-based Dialogue Systems
di: Guo, Guoxiang, et al.
Pubblicazione: (2024)

Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
di: Mu, Yanzhou, et al.
Pubblicazione: (2025)

Word Closure-Based Metamorphic Testing for Machine Translation
di: Xie, Xiaoyuan, et al.
Pubblicazione: (2023)

Correlation of Software-in-the-Loop Simulation with Physical Testing for Autonomous Driving
di: Fei, Zhennan, et al.
Pubblicazione: (2024)

Detecting Non-Optimal Decisions of Embodied Agents via Diversity-Guided Metamorphic Testing
di: Wu, Wenzhao, et al.
Pubblicazione: (2025)

Metamorphic Testing of Multimodal Human Trajectory Prediction
di: Spieker, Helge, et al.
Pubblicazione: (2025)

Hallucination Detection for LLM-based Text-to-SQL Generation via Two-Stage Metamorphic Testing
di: Yang, Bo, et al.
Pubblicazione: (2025)

Exploring LLMs for Verifying Technical System Specifications Against Requirements
di: Reinpold, Lasse M., et al.
Pubblicazione: (2024)

Metamorphic Coverage
di: Ba, Jinsheng, et al.
Pubblicazione: (2025)

STADA: Specification-based Testing for Autonomous Driving Agents
di: Saha, Joy, et al.
Pubblicazione: (2026)

Metamorphic Testing of Image Captioning Systems via Image-Level Reduction
di: Xie, Xiaoyuan, et al.
Pubblicazione: (2023)

Optimizing Metamorphic Testing: Prioritizing Relations Through Execution Profile Dissimilarity
di: Srinivasan, Madhusudan, et al.
Pubblicazione: (2024)

MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
di: Xu, Congying, et al.
Pubblicazione: (2024)

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

Formalization of the AADL Run-Time Services with Time
di: Larson, Brian R, et al.
Pubblicazione: (2025)

From Specification to Service: Accelerating API-First Development Using Multi-Agent Systems
di: Chauhan, Saurabh, et al.
Pubblicazione: (2025)

Evaluating Human Trajectory Prediction with Metamorphic Testing
di: Spieker, Helge, et al.
Pubblicazione: (2024)

An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving
di: Salem, Nayel Fabian, et al.
Pubblicazione: (2024)

Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey
di: Zheng, Zheng, et al.
Pubblicazione: (2026)

Exploring and Lifting the Robustness of LLM-powered Automated Program Repair with Metamorphic Testing
di: Xue, Pengyu, et al.
Pubblicazione: (2024)

Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
di: Li, Ningke, et al.
Pubblicazione: (2024)

MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases
di: Xu, Congying, et al.
Pubblicazione: (2023)

Constrained Co-evolutionary Metamorphic Differential Testing for Autonomous Systems with an Interpretability Approach
di: Yousefizadeh, Hossein, et al.
Pubblicazione: (2025)

AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous Vehicles
di: Zhang, Tony, et al.
Pubblicazione: (2025)

MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
di: Chen, Gong, et al.
Pubblicazione: (2025)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
di: Bhadani, Rahul, et al.
Pubblicazione: (2024)

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
di: Xu, Kangwei, et al.
Pubblicazione: (2025)

Validating LLM-Generated Programs with Metamorphic Prompt Testing
di: Wang, Xiaoyin, et al.
Pubblicazione: (2024)

ASSURE: Metamorphic Testing for AI-powered Browser Extensions
di: Gao, Xuanqi, et al.
Pubblicazione: (2025)

Enhancing Testing at Meta with Rich-State Simulated Populations
di: Alshahwan, Nadia, et al.
Pubblicazione: (2024)

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
di: Patel, Milin, et al.
Pubblicazione: (2025)

Metamorphic Testing for Smart Contract Validation:A Case Study of Ethereum-Based Crowdfunding Contracts
di: Villanueva, Irving Jared, et al.
Pubblicazione: (2025)

OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents
di: Xu, Yujia, et al.
Pubblicazione: (2026)