{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:YE5NA5CHCIQS3O5C3UUTD6ORN7","short_pith_number":"pith:YE5NA5CH","canonical_record":{"source":{"id":"1612.03103","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-09T17:51:35Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"2640d339f141d90ac3bcb253b75130f6277e92ecdc8573bd4b397fbe11b4a846","abstract_canon_sha256":"0a37de17e9b951fce0dc6c3aea06bbea721d89bd7383ffa83533695ef7c79d70"},"schema_version":"1.0"},"canonical_sha256":"c13ad0744712212dbba2dd2931f9d16ff7ca5c64ba723edde9f7f1d849600613","source":{"kind":"arxiv","id":"1612.03103","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.03103","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"arxiv_version","alias_value":"1612.03103v1","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.03103","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"pith_short_12","alias_value":"YE5NA5CHCIQS","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YE5NA5CHCIQS3O5C","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YE5NA5CH","created_at":"2026-05-18T12:30:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:YE5NA5CHCIQS3O5C3UUTD6ORN7","target":"record","payload":{"canonical_record":{"source":{"id":"1612.03103","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-09T17:51:35Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"2640d339f141d90ac3bcb253b75130f6277e92ecdc8573bd4b397fbe11b4a846","abstract_canon_sha256":"0a37de17e9b951fce0dc6c3aea06bbea721d89bd7383ffa83533695ef7c79d70"},"schema_version":"1.0"},"canonical_sha256":"c13ad0744712212dbba2dd2931f9d16ff7ca5c64ba723edde9f7f1d849600613","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:55:26.485892Z","signature_b64":"nFHu/EZ9hMmM4PnvqtTXDK6GuchGQZDFJh+F8eU11+S/xrG3SegOybtOJKJQR48G0WXPM2SP+xundpLvUBK0BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c13ad0744712212dbba2dd2931f9d16ff7ca5c64ba723edde9f7f1d849600613","last_reissued_at":"2026-05-18T00:55:26.485160Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:55:26.485160Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.03103","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-18T00:55:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H5bPNxVJxUvpJALQJbxWDO1M8Le8PE3/Y9a93nM95e6D4JcGSKx9+w5VA27Ga5LHjvtwIRZtmuQSz0E96QvICg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:33:28.759128Z"},"content_sha256":"322efe6b8264838a3d11cb54e9e60bc788bfebe3ebfc94289b37ab27ef685f85","schema_version":"1.0","event_id":"sha256:322efe6b8264838a3d11cb54e9e60bc788bfebe3ebfc94289b37ab27ef685f85"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:YE5NA5CHCIQS3O5C3UUTD6ORN7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.SE","authors_text":"Asim Abdulkhaleq, Stefan Wagner","submitted_at":"2016-12-09T17:51:35Z","abstract_excerpt":"Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be tested extensively against their safety requirements to ensure a high level of system safety. However, performing testing exhaustively to test all software behaviours is impossible. Numerous testing approaches exist. However, they do not directly concern the information derived during the safety analysis. STPA (Systems-Theoretic Process Analysis) is a unique safe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.03103","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-18T00:55:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ne+lSKHcbGh+sbGGQvRmiLWw8r5yCtQ8RSYrWewkEFbvWTI73sRR+xeoPfkpNF63CE4hSqkHns2SQFVAIEh9BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:33:28.759498Z"},"content_sha256":"dfd76e1fd0e0cea37f91f787831b71cee98926d31f2c8f236eb3f718f8aebb6c","schema_version":"1.0","event_id":"sha256:dfd76e1fd0e0cea37f91f787831b71cee98926d31f2c8f236eb3f718f8aebb6c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YE5NA5CHCIQS3O5C3UUTD6ORN7/bundle.json","state_url":"https://pith.science/pith/YE5NA5CHCIQS3O5C3UUTD6ORN7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YE5NA5CHCIQS3O5C3UUTD6ORN7/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-02T08:33:28Z","links":{"resolver":"https://pith.science/pith/YE5NA5CHCIQS3O5C3UUTD6ORN7","bundle":"https://pith.science/pith/YE5NA5CHCIQS3O5C3UUTD6ORN7/bundle.json","state":"https://pith.science/pith/YE5NA5CHCIQS3O5C3UUTD6ORN7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YE5NA5CHCIQS3O5C3UUTD6ORN7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:YE5NA5CHCIQS3O5C3UUTD6ORN7","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":"0a37de17e9b951fce0dc6c3aea06bbea721d89bd7383ffa83533695ef7c79d70","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-09T17:51:35Z","title_canon_sha256":"2640d339f141d90ac3bcb253b75130f6277e92ecdc8573bd4b397fbe11b4a846"},"schema_version":"1.0","source":{"id":"1612.03103","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.03103","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"arxiv_version","alias_value":"1612.03103v1","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.03103","created_at":"2026-05-18T00:55:26Z"},{"alias_kind":"pith_short_12","alias_value":"YE5NA5CHCIQS","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YE5NA5CHCIQS3O5C","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YE5NA5CH","created_at":"2026-05-18T12:30:53Z"}],"graph_snapshots":[{"event_id":"sha256:dfd76e1fd0e0cea37f91f787831b71cee98926d31f2c8f236eb3f718f8aebb6c","target":"graph","created_at":"2026-05-18T00:55:26Z","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":"Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be tested extensively against their safety requirements to ensure a high level of system safety. However, performing testing exhaustively to test all software behaviours is impossible. Numerous testing approaches exist. However, they do not directly concern the information derived during the safety analysis. STPA (Systems-Theoretic Process Analysis) is a unique safe","authors_text":"Asim Abdulkhaleq, Stefan Wagner","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-09T17:51:35Z","title":"A Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.03103","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:322efe6b8264838a3d11cb54e9e60bc788bfebe3ebfc94289b37ab27ef685f85","target":"record","created_at":"2026-05-18T00:55:26Z","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":"0a37de17e9b951fce0dc6c3aea06bbea721d89bd7383ffa83533695ef7c79d70","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-09T17:51:35Z","title_canon_sha256":"2640d339f141d90ac3bcb253b75130f6277e92ecdc8573bd4b397fbe11b4a846"},"schema_version":"1.0","source":{"id":"1612.03103","kind":"arxiv","version":1}},"canonical_sha256":"c13ad0744712212dbba2dd2931f9d16ff7ca5c64ba723edde9f7f1d849600613","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c13ad0744712212dbba2dd2931f9d16ff7ca5c64ba723edde9f7f1d849600613","first_computed_at":"2026-05-18T00:55:26.485160Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:55:26.485160Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nFHu/EZ9hMmM4PnvqtTXDK6GuchGQZDFJh+F8eU11+S/xrG3SegOybtOJKJQR48G0WXPM2SP+xundpLvUBK0BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:55:26.485892Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.03103","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:322efe6b8264838a3d11cb54e9e60bc788bfebe3ebfc94289b37ab27ef685f85","sha256:dfd76e1fd0e0cea37f91f787831b71cee98926d31f2c8f236eb3f718f8aebb6c"],"state_sha256":"391fc2900b94270713c49412238d6d1eb167e28ab924f6141d5b1414da04268a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0crJNj5p1lhl9Y097JUvDho9zzyIBV6p0yb3Aje7GX9r/9Zt1XDQB4RvdOMMAvMYyYFS+CoMG+w+MZ5ZWI2mBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T08:33:28.761534Z","bundle_sha256":"a1d4ef0b8429c02f55a5c4554287dbd5fee930503026390dab83d167524efefd"}}