{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:FP2O2E7Y45Y2QMIDIBLD2O3HUU","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":"7494e48c65b7ae6b8a871c82e544d8ee9f980b6286deb6fe3e6d541ccb50d839","cross_cats_sorted":["cs.NE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2021-02-23T04:55:10Z","title_canon_sha256":"e8d8a8e699ac5476ad209ec1068c1ec3ede6dedf98b50b3293dd6dfa90e147e6"},"schema_version":"1.0","source":{"id":"2102.11491","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.11491","created_at":"2026-07-05T02:25:39Z"},{"alias_kind":"arxiv_version","alias_value":"2102.11491v2","created_at":"2026-07-05T02:25:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.11491","created_at":"2026-07-05T02:25:39Z"},{"alias_kind":"pith_short_12","alias_value":"FP2O2E7Y45Y2","created_at":"2026-07-05T02:25:39Z"},{"alias_kind":"pith_short_16","alias_value":"FP2O2E7Y45Y2QMID","created_at":"2026-07-05T02:25:39Z"},{"alias_kind":"pith_short_8","alias_value":"FP2O2E7Y","created_at":"2026-07-05T02:25:39Z"}],"graph_snapshots":[{"event_id":"sha256:60003b06537e093a0fb291f9935fc49798f931160bc0edd0f3f75c2babc1b54d","target":"graph","created_at":"2026-07-05T02:25:39Z","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/2102.11491/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Consumer grade cyber-physical systems (CPS) are becoming an integral part of our life, automatizing and simplifying everyday tasks. Indeed, due to complex interactions between hardware, networking and software, developing and testing such systems is known to be a challenging task. Various quality assurance and testing strategies have been proposed. The most common approach for pre-deployment testing is to model the system and run simulations with models or software in the loop. In practice, most often, tests are run for a small number of simulations, which are selected based on the engineers' ","authors_text":"Dmytro Humeniuk, Foutse Khomh, Giuliano Antoniol","cross_cats":["cs.NE"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2021-02-23T04:55:10Z","title":"Data Driven Testing of Cyber Physical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.11491","kind":"arxiv","version":2},"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:ab62db5b6425356056f9f7506f16869addb50ab646b28e626f8bffcc1ea977d4","target":"record","created_at":"2026-07-05T02:25:39Z","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":"7494e48c65b7ae6b8a871c82e544d8ee9f980b6286deb6fe3e6d541ccb50d839","cross_cats_sorted":["cs.NE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2021-02-23T04:55:10Z","title_canon_sha256":"e8d8a8e699ac5476ad209ec1068c1ec3ede6dedf98b50b3293dd6dfa90e147e6"},"schema_version":"1.0","source":{"id":"2102.11491","kind":"arxiv","version":2}},"canonical_sha256":"2bf4ed13f8e771a8310340563d3b67a518fcce7602fbdc363dd237a70195d64e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2bf4ed13f8e771a8310340563d3b67a518fcce7602fbdc363dd237a70195d64e","first_computed_at":"2026-07-05T02:25:39.315143Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:25:39.315143Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MvD9mOOGEW25HZcuRcXbS12gDy98V56Sgbl8gspaTa/qni1u7eNvJtQwJFvx5+uqkEzXumSIQf2xigCDFR8LAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:25:39.315625Z","signed_message":"canonical_sha256_bytes"},"source_id":"2102.11491","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ab62db5b6425356056f9f7506f16869addb50ab646b28e626f8bffcc1ea977d4","sha256:60003b06537e093a0fb291f9935fc49798f931160bc0edd0f3f75c2babc1b54d"],"state_sha256":"1c24ef9f8e9aefec18d9305b7cbc205b508e5f77db9f09a7eceebcc965c9d81a"}