{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:T3OCOWKLNNGOEAC6CIENU2CHQE","short_pith_number":"pith:T3OCOWKL","schema_version":"1.0","canonical_sha256":"9edc27594b6b4ce2005e1208da6847813f4dfa380850cd4bb4f8e5d18c664d4e","source":{"kind":"arxiv","id":"2605.25101","version":1},"attestation_state":"computed","paper":{"title":"Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.AI","cs.SY","eess.SY"],"primary_cat":"cs.SE","authors_text":"Abdullah Mughees, Ashir Kulshreshtha, Dragos Truscan, Gaadha Sudheerbabu, Kristian Klemets, Mikael Manng{\\aa}rd, Tanwir Ahmad","submitted_at":"2026-05-24T14:30:56Z","abstract_excerpt":"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 for these simulation models remains challenging due to the absence of explicit expected outputs. This limits the applicability of conventional testing approaches, which require access to the internal workings of the systems. Metam"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.25101","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-24T14:30:56Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"2676e6b8c5a331ed3ccba9ddb066d025713a138577479230e2c8f661e3132743","abstract_canon_sha256":"3b3ea0779dd2df26e108b0ae99926161ad20102eba9e4e5c44af9242962934ef"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T02:04:17.971771Z","signature_b64":"SHub81ZFQrMBXmysXbXGvL6DHNyaRhQH/Mq1voUL0s3bZ9dyBqBCHqNbYs7tH2mmRA7bTAv/AGDDbndM08AVCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9edc27594b6b4ce2005e1208da6847813f4dfa380850cd4bb4f8e5d18c664d4e","last_reissued_at":"2026-05-26T02:04:17.971016Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T02:04:17.971016Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.AI","cs.SY","eess.SY"],"primary_cat":"cs.SE","authors_text":"Abdullah Mughees, Ashir Kulshreshtha, Dragos Truscan, Gaadha Sudheerbabu, Kristian Klemets, Mikael Manng{\\aa}rd, Tanwir Ahmad","submitted_at":"2026-05-24T14:30:56Z","abstract_excerpt":"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 for these simulation models remains challenging due to the absence of explicit expected outputs. This limits the applicability of conventional testing approaches, which require access to the internal workings of the systems. Metam"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.25101","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.25101/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.25101","created_at":"2026-05-26T02:04:17.971162+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.25101v1","created_at":"2026-05-26T02:04:17.971162+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.25101","created_at":"2026-05-26T02:04:17.971162+00:00"},{"alias_kind":"pith_short_12","alias_value":"T3OCOWKLNNGO","created_at":"2026-05-26T02:04:17.971162+00:00"},{"alias_kind":"pith_short_16","alias_value":"T3OCOWKLNNGOEAC6","created_at":"2026-05-26T02:04:17.971162+00:00"},{"alias_kind":"pith_short_8","alias_value":"T3OCOWKL","created_at":"2026-05-26T02:04:17.971162+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE","json":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE.json","graph_json":"https://pith.science/api/pith-number/T3OCOWKLNNGOEAC6CIENU2CHQE/graph.json","events_json":"https://pith.science/api/pith-number/T3OCOWKLNNGOEAC6CIENU2CHQE/events.json","paper":"https://pith.science/paper/T3OCOWKL"},"agent_actions":{"view_html":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE","download_json":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE.json","view_paper":"https://pith.science/paper/T3OCOWKL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.25101&json=true","fetch_graph":"https://pith.science/api/pith-number/T3OCOWKLNNGOEAC6CIENU2CHQE/graph.json","fetch_events":"https://pith.science/api/pith-number/T3OCOWKLNNGOEAC6CIENU2CHQE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE/action/storage_attestation","attest_author":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE/action/author_attestation","sign_citation":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE/action/citation_signature","submit_replication":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE/action/replication_record"}},"created_at":"2026-05-26T02:04:17.971162+00:00","updated_at":"2026-05-26T02:04:17.971162+00:00"}