{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:O2IHJSB26CNIKBCAG2DTZQT7FO","short_pith_number":"pith:O2IHJSB2","canonical_record":{"source":{"id":"2501.07553","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-01-13T18:37:01Z","cross_cats_sorted":[],"title_canon_sha256":"935c563ced263d970d8d58d70806ff63504207d16d3bf1b6ff33462741470a12","abstract_canon_sha256":"623163a47befdc7f5b89bfd748c5b16e944a46bdbe42e7b872bbf14718251759"},"schema_version":"1.0"},"canonical_sha256":"769074c83af09a85044036873cc27f2bb5f19c3301b825a8bc8fd6445ae3263a","source":{"kind":"arxiv","id":"2501.07553","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.07553","created_at":"2026-07-05T10:00:30Z"},{"alias_kind":"arxiv_version","alias_value":"2501.07553v1","created_at":"2026-07-05T10:00:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.07553","created_at":"2026-07-05T10:00:30Z"},{"alias_kind":"pith_short_12","alias_value":"O2IHJSB26CNI","created_at":"2026-07-05T10:00:30Z"},{"alias_kind":"pith_short_16","alias_value":"O2IHJSB26CNIKBCA","created_at":"2026-07-05T10:00:30Z"},{"alias_kind":"pith_short_8","alias_value":"O2IHJSB2","created_at":"2026-07-05T10:00:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:O2IHJSB26CNIKBCAG2DTZQT7FO","target":"record","payload":{"canonical_record":{"source":{"id":"2501.07553","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-01-13T18:37:01Z","cross_cats_sorted":[],"title_canon_sha256":"935c563ced263d970d8d58d70806ff63504207d16d3bf1b6ff33462741470a12","abstract_canon_sha256":"623163a47befdc7f5b89bfd748c5b16e944a46bdbe42e7b872bbf14718251759"},"schema_version":"1.0"},"canonical_sha256":"769074c83af09a85044036873cc27f2bb5f19c3301b825a8bc8fd6445ae3263a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:00:30.064582Z","signature_b64":"Zyk20ptUoNVx2NjQDqmsr74rDNOj3w63HjcxyobgzoPRpBlLxwDtTJtosVqfzISSQRYzkRlzK62epvfZAhVnBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"769074c83af09a85044036873cc27f2bb5f19c3301b825a8bc8fd6445ae3263a","last_reissued_at":"2026-07-05T10:00:30.064100Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:00:30.064100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.07553","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:00:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pD/GwktcFunnfZBz9MGUi1FArPf0V9qFMklr7utdxHyi/SZ3+MhorDmb9Oy0nCRI6ecpbgsb3VHjydiKdPnSBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T10:35:36.740279Z"},"content_sha256":"f51438d9398921f54a2191464e9a69b664861dd7bac68b73aa4c99fa59acb692","schema_version":"1.0","event_id":"sha256:f51438d9398921f54a2191464e9a69b664861dd7bac68b73aa4c99fa59acb692"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:O2IHJSB26CNIKBCAG2DTZQT7FO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Simulink Mutation Testing using CodeBERT","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Delaram Ghobari, Jingfan Zhang, Mehrdad Sabetzadeh, Shiva Nejati","submitted_at":"2025-01-13T18:37:01Z","abstract_excerpt":"We present BERTiMuS, an approach that uses CodeBERT to generate mutants for Simulink models. BERTiMuS converts Simulink models into textual representations, masks tokens from the derived text, and uses CodeBERT to predict the masked tokens. Simulink mutants are obtained by replacing the masked tokens with predictions from CodeBERT. We evaluate BERTiMuS using Simulink models from an industrial benchmark, and compare it with FIM -- a state-of-the-art mutation tool for Simulink. We show that, relying exclusively on CodeBERT, BERTiMuS can generate the block-based Simulink mutation patterns documen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.07553","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/2501.07553/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:00:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JIqxrzfJDRfpRNlu9Ab4hR88FDnp/1vJR8AE/dBIwmgUJBClniIRh3lQqXTAlg7FwWJLDzQ2vERmIbHiexUCBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T10:35:36.740743Z"},"content_sha256":"e25162d5012286b308feb1d9854d6063932d973511d9d7ea39297392c7576eac","schema_version":"1.0","event_id":"sha256:e25162d5012286b308feb1d9854d6063932d973511d9d7ea39297392c7576eac"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O2IHJSB26CNIKBCAG2DTZQT7FO/bundle.json","state_url":"https://pith.science/pith/O2IHJSB26CNIKBCAG2DTZQT7FO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O2IHJSB26CNIKBCAG2DTZQT7FO/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-11T10:35:36Z","links":{"resolver":"https://pith.science/pith/O2IHJSB26CNIKBCAG2DTZQT7FO","bundle":"https://pith.science/pith/O2IHJSB26CNIKBCAG2DTZQT7FO/bundle.json","state":"https://pith.science/pith/O2IHJSB26CNIKBCAG2DTZQT7FO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O2IHJSB26CNIKBCAG2DTZQT7FO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:O2IHJSB26CNIKBCAG2DTZQT7FO","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"623163a47befdc7f5b89bfd748c5b16e944a46bdbe42e7b872bbf14718251759","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-01-13T18:37:01Z","title_canon_sha256":"935c563ced263d970d8d58d70806ff63504207d16d3bf1b6ff33462741470a12"},"schema_version":"1.0","source":{"id":"2501.07553","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.07553","created_at":"2026-07-05T10:00:30Z"},{"alias_kind":"arxiv_version","alias_value":"2501.07553v1","created_at":"2026-07-05T10:00:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.07553","created_at":"2026-07-05T10:00:30Z"},{"alias_kind":"pith_short_12","alias_value":"O2IHJSB26CNI","created_at":"2026-07-05T10:00:30Z"},{"alias_kind":"pith_short_16","alias_value":"O2IHJSB26CNIKBCA","created_at":"2026-07-05T10:00:30Z"},{"alias_kind":"pith_short_8","alias_value":"O2IHJSB2","created_at":"2026-07-05T10:00:30Z"}],"graph_snapshots":[{"event_id":"sha256:e25162d5012286b308feb1d9854d6063932d973511d9d7ea39297392c7576eac","target":"graph","created_at":"2026-07-05T10:00:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2501.07553/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present BERTiMuS, an approach that uses CodeBERT to generate mutants for Simulink models. BERTiMuS converts Simulink models into textual representations, masks tokens from the derived text, and uses CodeBERT to predict the masked tokens. Simulink mutants are obtained by replacing the masked tokens with predictions from CodeBERT. We evaluate BERTiMuS using Simulink models from an industrial benchmark, and compare it with FIM -- a state-of-the-art mutation tool for Simulink. We show that, relying exclusively on CodeBERT, BERTiMuS can generate the block-based Simulink mutation patterns documen","authors_text":"Delaram Ghobari, Jingfan Zhang, Mehrdad Sabetzadeh, Shiva Nejati","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-01-13T18:37:01Z","title":"Simulink Mutation Testing using CodeBERT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.07553","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f51438d9398921f54a2191464e9a69b664861dd7bac68b73aa4c99fa59acb692","target":"record","created_at":"2026-07-05T10:00:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"623163a47befdc7f5b89bfd748c5b16e944a46bdbe42e7b872bbf14718251759","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-01-13T18:37:01Z","title_canon_sha256":"935c563ced263d970d8d58d70806ff63504207d16d3bf1b6ff33462741470a12"},"schema_version":"1.0","source":{"id":"2501.07553","kind":"arxiv","version":1}},"canonical_sha256":"769074c83af09a85044036873cc27f2bb5f19c3301b825a8bc8fd6445ae3263a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"769074c83af09a85044036873cc27f2bb5f19c3301b825a8bc8fd6445ae3263a","first_computed_at":"2026-07-05T10:00:30.064100Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:00:30.064100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Zyk20ptUoNVx2NjQDqmsr74rDNOj3w63HjcxyobgzoPRpBlLxwDtTJtosVqfzISSQRYzkRlzK62epvfZAhVnBA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:00:30.064582Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.07553","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f51438d9398921f54a2191464e9a69b664861dd7bac68b73aa4c99fa59acb692","sha256:e25162d5012286b308feb1d9854d6063932d973511d9d7ea39297392c7576eac"],"state_sha256":"47410f07e15d65780dcc3340571665f4a4fe636da4820865654cb43ca70c6ce8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0HbX+RPqbEbUrrZGQtlBTshOVPQixU2A72O38NtqPWRgUi1x4/zRBWCHZWHHZqIqL2w2Qwu+/iCRowKQxiKECw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T10:35:36.744924Z","bundle_sha256":"35adf6af807bdfe3b5cd6eb9c9ee102b4239da44bef993477be33922ea7e7068"}}