{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:HYIQBWYGVHQZ32LYZSJLJD7TDD","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":"ae527fb83311ac647dcfac8a735113ef4a659fdbc023149661d1ec66944805da","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.NE","submitted_at":"2022-03-23T02:10:30Z","title_canon_sha256":"66b141fb035d54ae9b49f3f7bed9353ecf0ce98ede4350b8478cae3c8580c684"},"schema_version":"1.0","source":{"id":"2203.12138","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.12138","created_at":"2026-07-05T04:07:56Z"},{"alias_kind":"arxiv_version","alias_value":"2203.12138v1","created_at":"2026-07-05T04:07:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.12138","created_at":"2026-07-05T04:07:56Z"},{"alias_kind":"pith_short_12","alias_value":"HYIQBWYGVHQZ","created_at":"2026-07-05T04:07:56Z"},{"alias_kind":"pith_short_16","alias_value":"HYIQBWYGVHQZ32LY","created_at":"2026-07-05T04:07:56Z"},{"alias_kind":"pith_short_8","alias_value":"HYIQBWYG","created_at":"2026-07-05T04:07:56Z"}],"graph_snapshots":[{"event_id":"sha256:93e00dd0237c585cdf526a059b174f5cb221a894491515d19027efb1cdd0d4d5","target":"graph","created_at":"2026-07-05T04:07:56Z","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/2203.12138/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many modern cyber physical systems incorporate computer vision technologies, complex sensors and advanced control software, allowing them to interact with the environment autonomously. Testing such systems poses numerous challenges: not only should the system inputs be varied, but also the surrounding environment should be accounted for. A number of tools have been developed to test the system model for the possible inputs falsifying its requirements. However, they are not directly applicable to autonomous cyber physical systems, as the inputs to their models are generated while operating in a","authors_text":"Dmytro Humeniuk, Foutse Khomh, Giuliano Antoniol","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.NE","submitted_at":"2022-03-23T02:10:30Z","title":"A Search-Based Framework for Automatic Generation of Testing Environments for Cyber-Physical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.12138","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:0c2b5c4a836665fa95a08174fa1e789c5eb0ca66f348b4dc5db73e0a00eba4e0","target":"record","created_at":"2026-07-05T04:07:56Z","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":"ae527fb83311ac647dcfac8a735113ef4a659fdbc023149661d1ec66944805da","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.NE","submitted_at":"2022-03-23T02:10:30Z","title_canon_sha256":"66b141fb035d54ae9b49f3f7bed9353ecf0ce98ede4350b8478cae3c8580c684"},"schema_version":"1.0","source":{"id":"2203.12138","kind":"arxiv","version":1}},"canonical_sha256":"3e1100db06a9e19de978cc92b48ff318d0e6f7e5ebe9d1bcdc2740866e5997fb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3e1100db06a9e19de978cc92b48ff318d0e6f7e5ebe9d1bcdc2740866e5997fb","first_computed_at":"2026-07-05T04:07:56.263863Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:07:56.263863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+zovlpOMp5lmLQNoWfyZB4OOcSSnDX6iopJ01VeY6IIaTHTzjKxVJG5VRjiuWhdDk/zIE93qBBiXHs7qoSP1Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:07:56.264373Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.12138","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0c2b5c4a836665fa95a08174fa1e789c5eb0ca66f348b4dc5db73e0a00eba4e0","sha256:93e00dd0237c585cdf526a059b174f5cb221a894491515d19027efb1cdd0d4d5"],"state_sha256":"2255e984414e6d0951ad29079cb3459b0ed76b95a051494d407e0638949731e5"}