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

Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations arXiv:2605.25101v1 Announce Type: cross Abstract: In many industrial domains, the Functional Mock-up Interface (FMI) is used to exchange simulation models as Functional Mock-up Units (FMUs) across different partners using various modelling tools. This opens up the possibilities for simulation-based verification and validation using FMUs for ensuring reliable system behaviour. However, deriving effective test oracles fo