{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:5PFPM43J3KCMPO3IQ4Y3FZKUS5","short_pith_number":"pith:5PFPM43J","canonical_record":{"source":{"id":"1212.3060","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-12-13T06:07:22Z","cross_cats_sorted":[],"title_canon_sha256":"381f772f0bd778c70bc1940fb1f93660d1e698b05b71f793529f0a305ca7dc49","abstract_canon_sha256":"4aab5dadd53e56c720623ed5ae0865927c0a315dc54c12baa2b1b51cc73dd074"},"schema_version":"1.0"},"canonical_sha256":"ebcaf67369da84c7bb688731b2e5549759e75e8b47a4b8e6c26d6a85915f637d","source":{"kind":"arxiv","id":"1212.3060","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.3060","created_at":"2026-05-18T03:38:33Z"},{"alias_kind":"arxiv_version","alias_value":"1212.3060v1","created_at":"2026-05-18T03:38:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.3060","created_at":"2026-05-18T03:38:33Z"},{"alias_kind":"pith_short_12","alias_value":"5PFPM43J3KCM","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"5PFPM43J3KCMPO3I","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"5PFPM43J","created_at":"2026-05-18T12:26:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:5PFPM43J3KCMPO3IQ4Y3FZKUS5","target":"record","payload":{"canonical_record":{"source":{"id":"1212.3060","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-12-13T06:07:22Z","cross_cats_sorted":[],"title_canon_sha256":"381f772f0bd778c70bc1940fb1f93660d1e698b05b71f793529f0a305ca7dc49","abstract_canon_sha256":"4aab5dadd53e56c720623ed5ae0865927c0a315dc54c12baa2b1b51cc73dd074"},"schema_version":"1.0"},"canonical_sha256":"ebcaf67369da84c7bb688731b2e5549759e75e8b47a4b8e6c26d6a85915f637d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:38:33.851660Z","signature_b64":"lkDnNibTJn0z0Rd93FLvzMAsYSSWSlq4pZiZgkgrBtD6Cd2zEaMPquV+J64g3Nhhpo0ES4EwSN5p7rTYdIIBAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ebcaf67369da84c7bb688731b2e5549759e75e8b47a4b8e6c26d6a85915f637d","last_reissued_at":"2026-05-18T03:38:33.851072Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:38:33.851072Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1212.3060","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-18T03:38:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lnvHzCQ0Sg4juSQXOttlivNmniBx0pFuMoMyxJhJnBZbuBx49l6oHQjhMwAgirLQcc/A0IESjLfuAn+NbRaTAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:13:28.437977Z"},"content_sha256":"3af2b913bf3f619bc6d9217005c64b76f10525d0d94c989d15969a75b89833af","schema_version":"1.0","event_id":"sha256:3af2b913bf3f619bc6d9217005c64b76f10525d0d94c989d15969a75b89833af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:5PFPM43J3KCMPO3IQ4Y3FZKUS5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A use case driven approach for system level testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Arid Agriculture University, Muhammad Touseef (UIIT, National Fertilizers Corporation (NFC-IET) Multan, Pakistan), PMAS, Rawalpindi, Technology, Zahid Hussain Qaisar (Institute of Engineering","submitted_at":"2012-12-13T06:07:22Z","abstract_excerpt":"Use case scenarios are created during the analysis phase to specify software system requirements and can also be used for creating system level test cases. Using use cases to get system tests has several benefits including test design at early stages of software development life cycle that reduces over all development cost of the system. Current approaches for system testing using use cases involve functional details and does not include guards as passing criteria i.e. use of class diagram that seem to be difficult at very initial level which lead the need of specification based testing withou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.3060","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-18T03:38:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fuK0YvLhkO6K9RQfKbhf/NlXts3Al73706bGxLJ0dy5dSoGkUy0SmuxiFgB1O2KKOpGMyO6RFk7IUvqa7y1CCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:13:28.438447Z"},"content_sha256":"77dfd3b1b5d894e5251fa8a048b7d9026c403194ea16fe78067ea15a9787e925","schema_version":"1.0","event_id":"sha256:77dfd3b1b5d894e5251fa8a048b7d9026c403194ea16fe78067ea15a9787e925"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5PFPM43J3KCMPO3IQ4Y3FZKUS5/bundle.json","state_url":"https://pith.science/pith/5PFPM43J3KCMPO3IQ4Y3FZKUS5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5PFPM43J3KCMPO3IQ4Y3FZKUS5/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-07T11:13:28Z","links":{"resolver":"https://pith.science/pith/5PFPM43J3KCMPO3IQ4Y3FZKUS5","bundle":"https://pith.science/pith/5PFPM43J3KCMPO3IQ4Y3FZKUS5/bundle.json","state":"https://pith.science/pith/5PFPM43J3KCMPO3IQ4Y3FZKUS5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5PFPM43J3KCMPO3IQ4Y3FZKUS5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:5PFPM43J3KCMPO3IQ4Y3FZKUS5","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":"4aab5dadd53e56c720623ed5ae0865927c0a315dc54c12baa2b1b51cc73dd074","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-12-13T06:07:22Z","title_canon_sha256":"381f772f0bd778c70bc1940fb1f93660d1e698b05b71f793529f0a305ca7dc49"},"schema_version":"1.0","source":{"id":"1212.3060","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.3060","created_at":"2026-05-18T03:38:33Z"},{"alias_kind":"arxiv_version","alias_value":"1212.3060v1","created_at":"2026-05-18T03:38:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.3060","created_at":"2026-05-18T03:38:33Z"},{"alias_kind":"pith_short_12","alias_value":"5PFPM43J3KCM","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"5PFPM43J3KCMPO3I","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"5PFPM43J","created_at":"2026-05-18T12:26:56Z"}],"graph_snapshots":[{"event_id":"sha256:77dfd3b1b5d894e5251fa8a048b7d9026c403194ea16fe78067ea15a9787e925","target":"graph","created_at":"2026-05-18T03:38:33Z","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":"Use case scenarios are created during the analysis phase to specify software system requirements and can also be used for creating system level test cases. Using use cases to get system tests has several benefits including test design at early stages of software development life cycle that reduces over all development cost of the system. Current approaches for system testing using use cases involve functional details and does not include guards as passing criteria i.e. use of class diagram that seem to be difficult at very initial level which lead the need of specification based testing withou","authors_text":"Arid Agriculture University, Muhammad Touseef (UIIT, National Fertilizers Corporation (NFC-IET) Multan, Pakistan), PMAS, Rawalpindi, Technology, Zahid Hussain Qaisar (Institute of Engineering","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-12-13T06:07:22Z","title":"A use case driven approach for system level testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.3060","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:3af2b913bf3f619bc6d9217005c64b76f10525d0d94c989d15969a75b89833af","target":"record","created_at":"2026-05-18T03:38:33Z","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":"4aab5dadd53e56c720623ed5ae0865927c0a315dc54c12baa2b1b51cc73dd074","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-12-13T06:07:22Z","title_canon_sha256":"381f772f0bd778c70bc1940fb1f93660d1e698b05b71f793529f0a305ca7dc49"},"schema_version":"1.0","source":{"id":"1212.3060","kind":"arxiv","version":1}},"canonical_sha256":"ebcaf67369da84c7bb688731b2e5549759e75e8b47a4b8e6c26d6a85915f637d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ebcaf67369da84c7bb688731b2e5549759e75e8b47a4b8e6c26d6a85915f637d","first_computed_at":"2026-05-18T03:38:33.851072Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:38:33.851072Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lkDnNibTJn0z0Rd93FLvzMAsYSSWSlq4pZiZgkgrBtD6Cd2zEaMPquV+J64g3Nhhpo0ES4EwSN5p7rTYdIIBAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:38:33.851660Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.3060","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3af2b913bf3f619bc6d9217005c64b76f10525d0d94c989d15969a75b89833af","sha256:77dfd3b1b5d894e5251fa8a048b7d9026c403194ea16fe78067ea15a9787e925"],"state_sha256":"afc65f0f80fc528ca5819d84bb4a08a68116f54400be00a9c40eb4c555ac4757"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dVwyCaMnGf4b7Ju6nGMGg1cHUjhKMpE0HoT6z5cDe1Z6Y7GC9kK1Lu86AAIaxIEt3dfh7Wp5e77o3aFsemvCCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T11:13:28.441665Z","bundle_sha256":"df35196ec7352fa8ae4979df4b75485fd059541f4a83de9dce3c34916bfa3a24"}}