{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:CDL5YTFT4WIFGHKCFVKMVEA2BB","short_pith_number":"pith:CDL5YTFT","canonical_record":{"source":{"id":"2404.04688","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-06T17:31:13Z","cross_cats_sorted":[],"title_canon_sha256":"52adaa41e14505d83ea6e7588cbe0595a109476588679ec8bf87b7bba1f10179","abstract_canon_sha256":"9d761effacbc0400cf87ca756af00a01a80d6cf847506b29edc80542078bfef6"},"schema_version":"1.0"},"canonical_sha256":"10d7dc4cb3e590531d422d54ca901a0869fc36e19bf5fd7a3d0ea2a896198409","source":{"kind":"arxiv","id":"2404.04688","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.04688","created_at":"2026-07-05T08:05:20Z"},{"alias_kind":"arxiv_version","alias_value":"2404.04688v1","created_at":"2026-07-05T08:05:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.04688","created_at":"2026-07-05T08:05:20Z"},{"alias_kind":"pith_short_12","alias_value":"CDL5YTFT4WIF","created_at":"2026-07-05T08:05:20Z"},{"alias_kind":"pith_short_16","alias_value":"CDL5YTFT4WIFGHKC","created_at":"2026-07-05T08:05:20Z"},{"alias_kind":"pith_short_8","alias_value":"CDL5YTFT","created_at":"2026-07-05T08:05:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:CDL5YTFT4WIFGHKCFVKMVEA2BB","target":"record","payload":{"canonical_record":{"source":{"id":"2404.04688","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-06T17:31:13Z","cross_cats_sorted":[],"title_canon_sha256":"52adaa41e14505d83ea6e7588cbe0595a109476588679ec8bf87b7bba1f10179","abstract_canon_sha256":"9d761effacbc0400cf87ca756af00a01a80d6cf847506b29edc80542078bfef6"},"schema_version":"1.0"},"canonical_sha256":"10d7dc4cb3e590531d422d54ca901a0869fc36e19bf5fd7a3d0ea2a896198409","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:05:20.401135Z","signature_b64":"90J++xY7W+tQPRhJgVXIRPDbF9n4k5xzmy6dic3bgKJkiCymATiktptOw/rKHPKCQRenenI8syDy3PBfIlIdDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"10d7dc4cb3e590531d422d54ca901a0869fc36e19bf5fd7a3d0ea2a896198409","last_reissued_at":"2026-07-05T08:05:20.400646Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:05:20.400646Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.04688","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-05T08:05:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3MEY+ggTAU2yva9b7UFwMSs4jWdtwV3K4sc94Cs4u0DL8QQGszqEelRgrP0/rF3CdgQKwvxdj1BDsJC7flqCAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T17:24:31.994092Z"},"content_sha256":"b63ed53b7944a324309db53807fe291a163a827392140b7fee3d8ce9e6e33143","schema_version":"1.0","event_id":"sha256:b63ed53b7944a324309db53807fe291a163a827392140b7fee3d8ce9e6e33143"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:CDL5YTFT4WIFGHKCFVKMVEA2BB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aitor Arrieta, Pablo Valle, Shaukat Ali","submitted_at":"2024-04-06T17:31:13Z","abstract_excerpt":"Stateflow models are widely used in the industry to model the high-level control logic of Cyber-Physical Systems (CPSs) in Simulink--the defacto CPS simulator. Many approaches exist to test Simulink models, but once a fault is detected, the process to repair it remains manual. Such a manual process increases the software development cost, making it paramount to develop novel techniques that reduce this cost. Automated Program Repair (APR) techniques can significantly reduce the time for fixing bugs by automatically generating patches. However, current approaches face scalability issues to be a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.04688","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/2404.04688/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-05T08:05:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wL1g7uvab1jGW7HWvElHpBTSO6N1zZ+zWYV583AjbvrfIy4ZH94AFhqyhloj1D/x3k6ieZA9TQuUYAXJ5LgcAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T17:24:31.994946Z"},"content_sha256":"05d6b20b522fc2f66f91ef5c144f0e639e17e1d65896047361857751ff9bbce6","schema_version":"1.0","event_id":"sha256:05d6b20b522fc2f66f91ef5c144f0e639e17e1d65896047361857751ff9bbce6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB/bundle.json","state_url":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB/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-04T17:24:31Z","links":{"resolver":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB","bundle":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB/bundle.json","state":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:CDL5YTFT4WIFGHKCFVKMVEA2BB","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":"9d761effacbc0400cf87ca756af00a01a80d6cf847506b29edc80542078bfef6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-06T17:31:13Z","title_canon_sha256":"52adaa41e14505d83ea6e7588cbe0595a109476588679ec8bf87b7bba1f10179"},"schema_version":"1.0","source":{"id":"2404.04688","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.04688","created_at":"2026-07-05T08:05:20Z"},{"alias_kind":"arxiv_version","alias_value":"2404.04688v1","created_at":"2026-07-05T08:05:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.04688","created_at":"2026-07-05T08:05:20Z"},{"alias_kind":"pith_short_12","alias_value":"CDL5YTFT4WIF","created_at":"2026-07-05T08:05:20Z"},{"alias_kind":"pith_short_16","alias_value":"CDL5YTFT4WIFGHKC","created_at":"2026-07-05T08:05:20Z"},{"alias_kind":"pith_short_8","alias_value":"CDL5YTFT","created_at":"2026-07-05T08:05:20Z"}],"graph_snapshots":[{"event_id":"sha256:05d6b20b522fc2f66f91ef5c144f0e639e17e1d65896047361857751ff9bbce6","target":"graph","created_at":"2026-07-05T08:05:20Z","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/2404.04688/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Stateflow models are widely used in the industry to model the high-level control logic of Cyber-Physical Systems (CPSs) in Simulink--the defacto CPS simulator. Many approaches exist to test Simulink models, but once a fault is detected, the process to repair it remains manual. Such a manual process increases the software development cost, making it paramount to develop novel techniques that reduce this cost. Automated Program Repair (APR) techniques can significantly reduce the time for fixing bugs by automatically generating patches. However, current approaches face scalability issues to be a","authors_text":"Aitor Arrieta, Pablo Valle, Shaukat Ali","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-06T17:31:13Z","title":"Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.04688","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:b63ed53b7944a324309db53807fe291a163a827392140b7fee3d8ce9e6e33143","target":"record","created_at":"2026-07-05T08:05:20Z","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":"9d761effacbc0400cf87ca756af00a01a80d6cf847506b29edc80542078bfef6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-06T17:31:13Z","title_canon_sha256":"52adaa41e14505d83ea6e7588cbe0595a109476588679ec8bf87b7bba1f10179"},"schema_version":"1.0","source":{"id":"2404.04688","kind":"arxiv","version":1}},"canonical_sha256":"10d7dc4cb3e590531d422d54ca901a0869fc36e19bf5fd7a3d0ea2a896198409","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"10d7dc4cb3e590531d422d54ca901a0869fc36e19bf5fd7a3d0ea2a896198409","first_computed_at":"2026-07-05T08:05:20.400646Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:05:20.400646Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"90J++xY7W+tQPRhJgVXIRPDbF9n4k5xzmy6dic3bgKJkiCymATiktptOw/rKHPKCQRenenI8syDy3PBfIlIdDA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:05:20.401135Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.04688","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b63ed53b7944a324309db53807fe291a163a827392140b7fee3d8ce9e6e33143","sha256:05d6b20b522fc2f66f91ef5c144f0e639e17e1d65896047361857751ff9bbce6"],"state_sha256":"0577350bc3509b4657e1dc835418a59bf5674b7ee69a9cbd29e797db454b88d0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mcHrvgbq6gTG6j1VWP35TiuxpRMmeZ4/IjE7MtfeX5oRD6RJ128QEdIXuwnh7Tpg66WuwyOjx6zjmxuSMTmFCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T17:24:32.001133Z","bundle_sha256":"c43e96e97c028c97395ee4f8b892c1e370068b511b6d737d1fb4c08ca24372c8"}}