{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:WDLP32ABT2B7UK7XRPRAWEFECV","short_pith_number":"pith:WDLP32AB","canonical_record":{"source":{"id":"1405.2986","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-05-12T22:15:14Z","cross_cats_sorted":[],"title_canon_sha256":"8a776f7c8c1c7a0fda199beea8ca705c05d2027b99e0730ab6bd6216b1d50949","abstract_canon_sha256":"78c943e79e8af8e3b169ca5f04e3523b6a6a5e3b536b078afa3bdcd1c89a1f8c"},"schema_version":"1.0"},"canonical_sha256":"b0d6fde8019e83fa2bf78be20b10a41567d77788d390ffd77d8a534e9670aa0c","source":{"kind":"arxiv","id":"1405.2986","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.2986","created_at":"2026-05-18T02:51:58Z"},{"alias_kind":"arxiv_version","alias_value":"1405.2986v1","created_at":"2026-05-18T02:51:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.2986","created_at":"2026-05-18T02:51:58Z"},{"alias_kind":"pith_short_12","alias_value":"WDLP32ABT2B7","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WDLP32ABT2B7UK7X","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WDLP32AB","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:WDLP32ABT2B7UK7XRPRAWEFECV","target":"record","payload":{"canonical_record":{"source":{"id":"1405.2986","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-05-12T22:15:14Z","cross_cats_sorted":[],"title_canon_sha256":"8a776f7c8c1c7a0fda199beea8ca705c05d2027b99e0730ab6bd6216b1d50949","abstract_canon_sha256":"78c943e79e8af8e3b169ca5f04e3523b6a6a5e3b536b078afa3bdcd1c89a1f8c"},"schema_version":"1.0"},"canonical_sha256":"b0d6fde8019e83fa2bf78be20b10a41567d77788d390ffd77d8a534e9670aa0c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:58.026355Z","signature_b64":"rEzkSyDm5a3A/0Ow1lA5ae4Pb0jwRWFx/XIT/7XN3YRm/ccPR12i3/te8p2L6b/xO1UigK1Sah4bdeXMGiCsBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b0d6fde8019e83fa2bf78be20b10a41567d77788d390ffd77d8a534e9670aa0c","last_reissued_at":"2026-05-18T02:51:58.025905Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:58.025905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.2986","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-05-18T02:51:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fjQGeKMXUyNGDWDg+lEmc9Ss7X1ERwrbaFr+ZLTzbGWb2hpq/cbwN/091dCKlwQAkME24uQMp47CRrG3iOD9BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:09:02.673098Z"},"content_sha256":"7a856d451963723646f76403d1e7409193ba618c5032bf3d5c9c6aca46c4d9af","schema_version":"1.0","event_id":"sha256:7a856d451963723646f76403d1e7409193ba618c5032bf3d5c9c6aca46c4d9af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:WDLP32ABT2B7UK7XRPRAWEFECV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semantic Support for Log Analysis of Safety-Critical Embedded Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessio Venticinque, Massimo Ficco, Nicola Mazzocca, Salvatore Venticinque","submitted_at":"2014-05-12T22:15:14Z","abstract_excerpt":"Testing is a relevant activity for the development life-cycle of Safety Critical Embedded systems. In particular, much effort is spent for analysis and classification of test logs from SCADA subsystems, especially when failures occur. The human expertise is needful to understand the reasons of failures, for tracing back the errors, as well as to understand which requirements are affected by errors and which ones will be affected by eventual changes in the system design. Semantic techniques and full text search are used to support human experts for the analysis and classification of test logs, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.2986","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":""},"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-05-18T02:51:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vrf+M26ZSO+Nk2qkELmwxZvC3j8jDWFq6TeM1d33RLd3pZQAk2ndwPe/XlRrBCUazKMAJuZ3TUMyQZ4AY0OkAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:09:02.673599Z"},"content_sha256":"3a8d4babcc1d9af87bb4169ab5469d955ef02bfd9fb90a9a08450203559a858a","schema_version":"1.0","event_id":"sha256:3a8d4babcc1d9af87bb4169ab5469d955ef02bfd9fb90a9a08450203559a858a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WDLP32ABT2B7UK7XRPRAWEFECV/bundle.json","state_url":"https://pith.science/pith/WDLP32ABT2B7UK7XRPRAWEFECV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WDLP32ABT2B7UK7XRPRAWEFECV/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-06-24T08:09:02Z","links":{"resolver":"https://pith.science/pith/WDLP32ABT2B7UK7XRPRAWEFECV","bundle":"https://pith.science/pith/WDLP32ABT2B7UK7XRPRAWEFECV/bundle.json","state":"https://pith.science/pith/WDLP32ABT2B7UK7XRPRAWEFECV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WDLP32ABT2B7UK7XRPRAWEFECV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:WDLP32ABT2B7UK7XRPRAWEFECV","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":"78c943e79e8af8e3b169ca5f04e3523b6a6a5e3b536b078afa3bdcd1c89a1f8c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-05-12T22:15:14Z","title_canon_sha256":"8a776f7c8c1c7a0fda199beea8ca705c05d2027b99e0730ab6bd6216b1d50949"},"schema_version":"1.0","source":{"id":"1405.2986","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.2986","created_at":"2026-05-18T02:51:58Z"},{"alias_kind":"arxiv_version","alias_value":"1405.2986v1","created_at":"2026-05-18T02:51:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.2986","created_at":"2026-05-18T02:51:58Z"},{"alias_kind":"pith_short_12","alias_value":"WDLP32ABT2B7","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WDLP32ABT2B7UK7X","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WDLP32AB","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:3a8d4babcc1d9af87bb4169ab5469d955ef02bfd9fb90a9a08450203559a858a","target":"graph","created_at":"2026-05-18T02:51:58Z","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"},"paper":{"abstract_excerpt":"Testing is a relevant activity for the development life-cycle of Safety Critical Embedded systems. In particular, much effort is spent for analysis and classification of test logs from SCADA subsystems, especially when failures occur. The human expertise is needful to understand the reasons of failures, for tracing back the errors, as well as to understand which requirements are affected by errors and which ones will be affected by eventual changes in the system design. Semantic techniques and full text search are used to support human experts for the analysis and classification of test logs, ","authors_text":"Alessio Venticinque, Massimo Ficco, Nicola Mazzocca, Salvatore Venticinque","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-05-12T22:15:14Z","title":"Semantic Support for Log Analysis of Safety-Critical Embedded Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.2986","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:7a856d451963723646f76403d1e7409193ba618c5032bf3d5c9c6aca46c4d9af","target":"record","created_at":"2026-05-18T02:51:58Z","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":"78c943e79e8af8e3b169ca5f04e3523b6a6a5e3b536b078afa3bdcd1c89a1f8c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-05-12T22:15:14Z","title_canon_sha256":"8a776f7c8c1c7a0fda199beea8ca705c05d2027b99e0730ab6bd6216b1d50949"},"schema_version":"1.0","source":{"id":"1405.2986","kind":"arxiv","version":1}},"canonical_sha256":"b0d6fde8019e83fa2bf78be20b10a41567d77788d390ffd77d8a534e9670aa0c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b0d6fde8019e83fa2bf78be20b10a41567d77788d390ffd77d8a534e9670aa0c","first_computed_at":"2026-05-18T02:51:58.025905Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:58.025905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rEzkSyDm5a3A/0Ow1lA5ae4Pb0jwRWFx/XIT/7XN3YRm/ccPR12i3/te8p2L6b/xO1UigK1Sah4bdeXMGiCsBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:58.026355Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.2986","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7a856d451963723646f76403d1e7409193ba618c5032bf3d5c9c6aca46c4d9af","sha256:3a8d4babcc1d9af87bb4169ab5469d955ef02bfd9fb90a9a08450203559a858a"],"state_sha256":"64201b6ab03bbb77d14e801538890e6a9f877b856d00193dd85283f1fac5b4ca"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9pI0RRp5LPFcEH/mUt8Yrzu2yM4Ojo2axOkne8q7npI3HvKnBokkmbhgWditn18NPhiun8tqXd3Yqf6A0/dxAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T08:09:02.676265Z","bundle_sha256":"ab1728b886691138e8d87e9f100c2337d6368746b60b8fd459e43d3fcb1b56d1"}}