{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:3PRYRSCBIM6XDSSKTXSXW7AK6Q","short_pith_number":"pith:3PRYRSCB","canonical_record":{"source":{"id":"1903.12468","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-29T12:26:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"33a8f8b47d11dfe086988951bf678333b349e31596af89745bf069f03a35281d","abstract_canon_sha256":"9b61055fabc8de346114a79b6f50e66ffaa39e1b33faa34a5f3af27151faf711"},"schema_version":"1.0"},"canonical_sha256":"dbe388c841433d71ca4a9de57b7c0af4045fe7c2982908e55688181b94692c49","source":{"kind":"arxiv","id":"1903.12468","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.12468","created_at":"2026-07-05T01:42:12Z"},{"alias_kind":"arxiv_version","alias_value":"1903.12468v1","created_at":"2026-07-05T01:42:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.12468","created_at":"2026-07-05T01:42:12Z"},{"alias_kind":"pith_short_12","alias_value":"3PRYRSCBIM6X","created_at":"2026-07-05T01:42:12Z"},{"alias_kind":"pith_short_16","alias_value":"3PRYRSCBIM6XDSSK","created_at":"2026-07-05T01:42:12Z"},{"alias_kind":"pith_short_8","alias_value":"3PRYRSCB","created_at":"2026-07-05T01:42:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:3PRYRSCBIM6XDSSKTXSXW7AK6Q","target":"record","payload":{"canonical_record":{"source":{"id":"1903.12468","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-29T12:26:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"33a8f8b47d11dfe086988951bf678333b349e31596af89745bf069f03a35281d","abstract_canon_sha256":"9b61055fabc8de346114a79b6f50e66ffaa39e1b33faa34a5f3af27151faf711"},"schema_version":"1.0"},"canonical_sha256":"dbe388c841433d71ca4a9de57b7c0af4045fe7c2982908e55688181b94692c49","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:42:12.218676Z","signature_b64":"rUKZJPJLFZ1NF+6wjnECm1ApXA2JnnumEiEpbMSMzuY8DLzYeUSxfLG3ZEDwEvhG9+zG9DJzrYMYekSdgB01AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dbe388c841433d71ca4a9de57b7c0af4045fe7c2982908e55688181b94692c49","last_reissued_at":"2026-07-05T01:42:12.218188Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:42:12.218188Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.12468","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-05T01:42:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QSYMWQ+usIhn+oBKRo9hRHP/caSvvQLBX4tdAJGd6FM00BA3X2x5wEcqNXGiqQSJoo7WU/nH2EyqKFk14Q8ZCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T20:41:43.072856Z"},"content_sha256":"8f8b3b184c14471ee3b43cc0863eafd3fc65569a65894e3c1c9abc7797e355f8","schema_version":"1.0","event_id":"sha256:8f8b3b184c14471ee3b43cc0863eafd3fc65569a65894e3c1c9abc7797e355f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:3PRYRSCBIM6XDSSKTXSXW7AK6Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automatic Failure Explanation in CPS Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Cristinel Mateis, Dejan Ni\\v{c}kovi\\'c, Ezio Bartocci, Leonardo Mariani, Niveditha Manjunath","submitted_at":"2019-03-29T12:26:42Z","abstract_excerpt":"Debugging Cyber-Physical System (CPS) models can be extremely complex. Indeed, only the detection of a failure is insuffcient to know how to correct a faulty model. Faults can propagate in time and in space producing observable misbehaviours in locations completely different from the location of the fault. Understanding the reason of an observed failure is typically a challenging and laborious task left to the experience and domain knowledge of the designer. \\n In this paper, we propose CPSDebug, a novel approach that by combining testing, specification mining, and failure analysis, can automa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.12468","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/1903.12468/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-05T01:42:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RXHoNKAZVizisprD1DSfKlQS+HutgRoKoa76A/+JdFzJ53ZH44fQoxcDF8KYZqJd+xGVKkiNnKxIseiTwVEoCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T20:41:43.073226Z"},"content_sha256":"a40e8a212f874c5255b2645dfc775d6882cf987c753319a6c5c07418edeca6ca","schema_version":"1.0","event_id":"sha256:a40e8a212f874c5255b2645dfc775d6882cf987c753319a6c5c07418edeca6ca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3PRYRSCBIM6XDSSKTXSXW7AK6Q/bundle.json","state_url":"https://pith.science/pith/3PRYRSCBIM6XDSSKTXSXW7AK6Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3PRYRSCBIM6XDSSKTXSXW7AK6Q/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-07-25T20:41:43Z","links":{"resolver":"https://pith.science/pith/3PRYRSCBIM6XDSSKTXSXW7AK6Q","bundle":"https://pith.science/pith/3PRYRSCBIM6XDSSKTXSXW7AK6Q/bundle.json","state":"https://pith.science/pith/3PRYRSCBIM6XDSSKTXSXW7AK6Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3PRYRSCBIM6XDSSKTXSXW7AK6Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3PRYRSCBIM6XDSSKTXSXW7AK6Q","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":"9b61055fabc8de346114a79b6f50e66ffaa39e1b33faa34a5f3af27151faf711","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-29T12:26:42Z","title_canon_sha256":"33a8f8b47d11dfe086988951bf678333b349e31596af89745bf069f03a35281d"},"schema_version":"1.0","source":{"id":"1903.12468","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.12468","created_at":"2026-07-05T01:42:12Z"},{"alias_kind":"arxiv_version","alias_value":"1903.12468v1","created_at":"2026-07-05T01:42:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.12468","created_at":"2026-07-05T01:42:12Z"},{"alias_kind":"pith_short_12","alias_value":"3PRYRSCBIM6X","created_at":"2026-07-05T01:42:12Z"},{"alias_kind":"pith_short_16","alias_value":"3PRYRSCBIM6XDSSK","created_at":"2026-07-05T01:42:12Z"},{"alias_kind":"pith_short_8","alias_value":"3PRYRSCB","created_at":"2026-07-05T01:42:12Z"}],"graph_snapshots":[{"event_id":"sha256:a40e8a212f874c5255b2645dfc775d6882cf987c753319a6c5c07418edeca6ca","target":"graph","created_at":"2026-07-05T01:42:12Z","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/1903.12468/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Debugging Cyber-Physical System (CPS) models can be extremely complex. Indeed, only the detection of a failure is insuffcient to know how to correct a faulty model. Faults can propagate in time and in space producing observable misbehaviours in locations completely different from the location of the fault. Understanding the reason of an observed failure is typically a challenging and laborious task left to the experience and domain knowledge of the designer. \\n In this paper, we propose CPSDebug, a novel approach that by combining testing, specification mining, and failure analysis, can automa","authors_text":"Cristinel Mateis, Dejan Ni\\v{c}kovi\\'c, Ezio Bartocci, Leonardo Mariani, Niveditha Manjunath","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-29T12:26:42Z","title":"Automatic Failure Explanation in CPS Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.12468","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:8f8b3b184c14471ee3b43cc0863eafd3fc65569a65894e3c1c9abc7797e355f8","target":"record","created_at":"2026-07-05T01:42:12Z","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":"9b61055fabc8de346114a79b6f50e66ffaa39e1b33faa34a5f3af27151faf711","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-29T12:26:42Z","title_canon_sha256":"33a8f8b47d11dfe086988951bf678333b349e31596af89745bf069f03a35281d"},"schema_version":"1.0","source":{"id":"1903.12468","kind":"arxiv","version":1}},"canonical_sha256":"dbe388c841433d71ca4a9de57b7c0af4045fe7c2982908e55688181b94692c49","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dbe388c841433d71ca4a9de57b7c0af4045fe7c2982908e55688181b94692c49","first_computed_at":"2026-07-05T01:42:12.218188Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:42:12.218188Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rUKZJPJLFZ1NF+6wjnECm1ApXA2JnnumEiEpbMSMzuY8DLzYeUSxfLG3ZEDwEvhG9+zG9DJzrYMYekSdgB01AA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:42:12.218676Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.12468","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f8b3b184c14471ee3b43cc0863eafd3fc65569a65894e3c1c9abc7797e355f8","sha256:a40e8a212f874c5255b2645dfc775d6882cf987c753319a6c5c07418edeca6ca"],"state_sha256":"623cca8e9ea0e15e615c33fecf93c3d4178b907bd481e3b69a328384ad33b822"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H3go1NbGLDRds2HDYxsCZx3mva6I3Qh2o3D3hNeMNpBwAbUvISMtXPg4CHlOt1sUB/bO+x0KhPhTc59QpnYOAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-25T20:41:43.075288Z","bundle_sha256":"a1d88929b1966be102ab3b3134044b04de55735bdb3fa68d372560efd6308904"}}