{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:CDL5YTFT4WIFGHKCFVKMVEA2BB","short_pith_number":"pith:CDL5YTFT","schema_version":"1.0","canonical_sha256":"10d7dc4cb3e590531d422d54ca901a0869fc36e19bf5fd7a3d0ea2a896198409","source":{"kind":"arxiv","id":"2404.04688","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2404.04688","created_at":"2026-07-05T08:05:20.400705+00:00"},{"alias_kind":"arxiv_version","alias_value":"2404.04688v1","created_at":"2026-07-05T08:05:20.400705+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.04688","created_at":"2026-07-05T08:05:20.400705+00:00"},{"alias_kind":"pith_short_12","alias_value":"CDL5YTFT4WIF","created_at":"2026-07-05T08:05:20.400705+00:00"},{"alias_kind":"pith_short_16","alias_value":"CDL5YTFT4WIFGHKC","created_at":"2026-07-05T08:05:20.400705+00:00"},{"alias_kind":"pith_short_8","alias_value":"CDL5YTFT","created_at":"2026-07-05T08:05:20.400705+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.03870","citing_title":"Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables","ref_index":6,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB","json":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB.json","graph_json":"https://pith.science/api/pith-number/CDL5YTFT4WIFGHKCFVKMVEA2BB/graph.json","events_json":"https://pith.science/api/pith-number/CDL5YTFT4WIFGHKCFVKMVEA2BB/events.json","paper":"https://pith.science/paper/CDL5YTFT"},"agent_actions":{"view_html":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB","download_json":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB.json","view_paper":"https://pith.science/paper/CDL5YTFT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2404.04688&json=true","fetch_graph":"https://pith.science/api/pith-number/CDL5YTFT4WIFGHKCFVKMVEA2BB/graph.json","fetch_events":"https://pith.science/api/pith-number/CDL5YTFT4WIFGHKCFVKMVEA2BB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB/action/storage_attestation","attest_author":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB/action/author_attestation","sign_citation":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB/action/citation_signature","submit_replication":"https://pith.science/pith/CDL5YTFT4WIFGHKCFVKMVEA2BB/action/replication_record"}},"created_at":"2026-07-05T08:05:20.400705+00:00","updated_at":"2026-07-05T08:05:20.400705+00:00"}