{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:FPI52XVUPAK4RJNU3ATMQ7AQTE","short_pith_number":"pith:FPI52XVU","canonical_record":{"source":{"id":"2309.02985","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-06T13:32:39Z","cross_cats_sorted":[],"title_canon_sha256":"71881daf9038dd02d36bb140de5a9dc541e8ddd4a3a3ee7707bac3439f4346a3","abstract_canon_sha256":"5688c28046a7c9d8848a1207fb74a3e41a0f7a08e3a8ef9dffb3fff4fd80bf83"},"schema_version":"1.0"},"canonical_sha256":"2bd1dd5eb47815c8a5b4d826c87c10990312b7d66643321af8e3bc8e83ef1a66","source":{"kind":"arxiv","id":"2309.02985","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.02985","created_at":"2026-07-05T06:48:19Z"},{"alias_kind":"arxiv_version","alias_value":"2309.02985v1","created_at":"2026-07-05T06:48:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.02985","created_at":"2026-07-05T06:48:19Z"},{"alias_kind":"pith_short_12","alias_value":"FPI52XVUPAK4","created_at":"2026-07-05T06:48:19Z"},{"alias_kind":"pith_short_16","alias_value":"FPI52XVUPAK4RJNU","created_at":"2026-07-05T06:48:19Z"},{"alias_kind":"pith_short_8","alias_value":"FPI52XVU","created_at":"2026-07-05T06:48:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:FPI52XVUPAK4RJNU3ATMQ7AQTE","target":"record","payload":{"canonical_record":{"source":{"id":"2309.02985","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-06T13:32:39Z","cross_cats_sorted":[],"title_canon_sha256":"71881daf9038dd02d36bb140de5a9dc541e8ddd4a3a3ee7707bac3439f4346a3","abstract_canon_sha256":"5688c28046a7c9d8848a1207fb74a3e41a0f7a08e3a8ef9dffb3fff4fd80bf83"},"schema_version":"1.0"},"canonical_sha256":"2bd1dd5eb47815c8a5b4d826c87c10990312b7d66643321af8e3bc8e83ef1a66","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:48:19.681401Z","signature_b64":"BxL4XGn/EcKwJIy1Am7VgVJn/Xv45HzfjQBQHNUxlWel2u4PH1elrsj9TmYTLG2VX1WRA68F4xrMjQk+Ji2RDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2bd1dd5eb47815c8a5b4d826c87c10990312b7d66643321af8e3bc8e83ef1a66","last_reissued_at":"2026-07-05T06:48:19.680973Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:48:19.680973Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.02985","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-05T06:48:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fNwMDQuxk6NHanzAyLRgw2wktyKzUNBv/7kdnZoZYwsa1N/Dk7AuH/ZsXr8ENLvzhZYvNmHBYY/ThXiUyg59Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T16:10:56.764870Z"},"content_sha256":"01c32b201fad031d325d050c0ec279e9036819279c13764162f5ab0ab618b59a","schema_version":"1.0","event_id":"sha256:01c32b201fad031d325d050c0ec279e9036819279c13764162f5ab0ab618b59a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:FPI52XVUPAK4RJNU3ATMQ7AQTE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Claudio Di Sipio, Daniela Micucci, Davide Di Ruscio, Diego Clerissi, Felicien Ihirwe, Juri Di Rocco, Leonardo Mariani, Maria Teresa Rossi, Riccardo Rubei","submitted_at":"2023-09-06T13:32:39Z","abstract_excerpt":"IoT systems complexity and susceptibility to failures pose significant challenges in ensuring their reliable operation Failures can be internally generated or caused by external factors impacting both the systems correctness and its surrounding environment To investigate these complexities various modeling approaches have been proposed to raise the level of abstraction facilitating automation and analysis FailureLogic Analysis FLA is a technique that helps predict potential failure scenarios by defining how a components failure logic behaves and spreads throughout the system However manually s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.02985","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/2309.02985/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-05T06:48:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dzie/wml3CbbL/Z0X5mctMZ94SQqTdqq+J1CYZKcPFVuXPsqyhWNR42IjyRS68uMaKS9tmlaJmV1WSNZXNuACw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T16:10:56.765818Z"},"content_sha256":"04de59a1630897c087bb34aed5fb04b142a742ecdeec848ccf637024161ff00f","schema_version":"1.0","event_id":"sha256:04de59a1630897c087bb34aed5fb04b142a742ecdeec848ccf637024161ff00f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FPI52XVUPAK4RJNU3ATMQ7AQTE/bundle.json","state_url":"https://pith.science/pith/FPI52XVUPAK4RJNU3ATMQ7AQTE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FPI52XVUPAK4RJNU3ATMQ7AQTE/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-08-17T16:10:56Z","links":{"resolver":"https://pith.science/pith/FPI52XVUPAK4RJNU3ATMQ7AQTE","bundle":"https://pith.science/pith/FPI52XVUPAK4RJNU3ATMQ7AQTE/bundle.json","state":"https://pith.science/pith/FPI52XVUPAK4RJNU3ATMQ7AQTE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FPI52XVUPAK4RJNU3ATMQ7AQTE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:FPI52XVUPAK4RJNU3ATMQ7AQTE","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":"5688c28046a7c9d8848a1207fb74a3e41a0f7a08e3a8ef9dffb3fff4fd80bf83","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-06T13:32:39Z","title_canon_sha256":"71881daf9038dd02d36bb140de5a9dc541e8ddd4a3a3ee7707bac3439f4346a3"},"schema_version":"1.0","source":{"id":"2309.02985","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.02985","created_at":"2026-07-05T06:48:19Z"},{"alias_kind":"arxiv_version","alias_value":"2309.02985v1","created_at":"2026-07-05T06:48:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.02985","created_at":"2026-07-05T06:48:19Z"},{"alias_kind":"pith_short_12","alias_value":"FPI52XVUPAK4","created_at":"2026-07-05T06:48:19Z"},{"alias_kind":"pith_short_16","alias_value":"FPI52XVUPAK4RJNU","created_at":"2026-07-05T06:48:19Z"},{"alias_kind":"pith_short_8","alias_value":"FPI52XVU","created_at":"2026-07-05T06:48:19Z"}],"graph_snapshots":[{"event_id":"sha256:04de59a1630897c087bb34aed5fb04b142a742ecdeec848ccf637024161ff00f","target":"graph","created_at":"2026-07-05T06:48:19Z","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/2309.02985/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"IoT systems complexity and susceptibility to failures pose significant challenges in ensuring their reliable operation Failures can be internally generated or caused by external factors impacting both the systems correctness and its surrounding environment To investigate these complexities various modeling approaches have been proposed to raise the level of abstraction facilitating automation and analysis FailureLogic Analysis FLA is a technique that helps predict potential failure scenarios by defining how a components failure logic behaves and spreads throughout the system However manually s","authors_text":"Claudio Di Sipio, Daniela Micucci, Davide Di Ruscio, Diego Clerissi, Felicien Ihirwe, Juri Di Rocco, Leonardo Mariani, Maria Teresa Rossi, Riccardo Rubei","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-06T13:32:39Z","title":"Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.02985","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:01c32b201fad031d325d050c0ec279e9036819279c13764162f5ab0ab618b59a","target":"record","created_at":"2026-07-05T06:48:19Z","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":"5688c28046a7c9d8848a1207fb74a3e41a0f7a08e3a8ef9dffb3fff4fd80bf83","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-06T13:32:39Z","title_canon_sha256":"71881daf9038dd02d36bb140de5a9dc541e8ddd4a3a3ee7707bac3439f4346a3"},"schema_version":"1.0","source":{"id":"2309.02985","kind":"arxiv","version":1}},"canonical_sha256":"2bd1dd5eb47815c8a5b4d826c87c10990312b7d66643321af8e3bc8e83ef1a66","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2bd1dd5eb47815c8a5b4d826c87c10990312b7d66643321af8e3bc8e83ef1a66","first_computed_at":"2026-07-05T06:48:19.680973Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:48:19.680973Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BxL4XGn/EcKwJIy1Am7VgVJn/Xv45HzfjQBQHNUxlWel2u4PH1elrsj9TmYTLG2VX1WRA68F4xrMjQk+Ji2RDA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:48:19.681401Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.02985","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01c32b201fad031d325d050c0ec279e9036819279c13764162f5ab0ab618b59a","sha256:04de59a1630897c087bb34aed5fb04b142a742ecdeec848ccf637024161ff00f"],"state_sha256":"91a9434611913413562fefb4a19575ebe8f28b4224aefe20dbef9da0c108827e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dPrW5PBYiHH2UJ0a0ZFI4q0mEyHfOkW/O5sZ/x98iRZZWkMr2Uue9bNAcOGKXSu59dORHFNv3L9qfKQo2aXeAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T16:10:56.775718Z","bundle_sha256":"864ae7c39b5bbcdfdeb8547d7f1b01a4ab931d6f5ad9198b6369bacbab90cbca"}}