{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:ZRRZAKOJDBUBDGXJ3BSZMVKO2A","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":"7f592f1d233c187d0975baf33abc885c8c22caf647c5e707487b8f7e9f4972f7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-11T10:03:39Z","title_canon_sha256":"8cfcddfb714208426185510b0b13a08afe64c77103cb99fc63ff91b167100c5e"},"schema_version":"1.0","source":{"id":"1407.3091","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.3091","created_at":"2026-05-18T02:47:52Z"},{"alias_kind":"arxiv_version","alias_value":"1407.3091v1","created_at":"2026-05-18T02:47:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.3091","created_at":"2026-05-18T02:47:52Z"},{"alias_kind":"pith_short_12","alias_value":"ZRRZAKOJDBUB","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZRRZAKOJDBUBDGXJ","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZRRZAKOJ","created_at":"2026-05-18T12:28:59Z"}],"graph_snapshots":[{"event_id":"sha256:774382f0afa1edf0faebd9887bb8fbe79550f085579402f67fbbd1537c0314ca","target":"graph","created_at":"2026-05-18T02:47:52Z","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":"The goal of regression testing is to ensure that the behavior of existing code is not altered by new program changes. The primary focus of regression testing should be on code associated with: a) earlier bug fixes; and b) particular application scenarios considered to be important by the tester. Existing coverage criteria do not enable such focus, e.g., 100% branch coverage does not guarantee that a given bug fix is exercised or a given application scenario is tested. Therefore, there is a need for a complementary coverage criterion in which the user can define a test requirement characterizin","authors_text":"Fadi A. Zaraket, Rawad Abou Assi, Wes Masri","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-11T10:03:39Z","title":"UCov: a User-Defined Coverage Criterion for Test Case Intent Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.3091","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:3163a13af290569fc0b92a2562d3b1c3ead4b65f41cd024a850e5309c5a11a42","target":"record","created_at":"2026-05-18T02:47:52Z","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":"7f592f1d233c187d0975baf33abc885c8c22caf647c5e707487b8f7e9f4972f7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-11T10:03:39Z","title_canon_sha256":"8cfcddfb714208426185510b0b13a08afe64c77103cb99fc63ff91b167100c5e"},"schema_version":"1.0","source":{"id":"1407.3091","kind":"arxiv","version":1}},"canonical_sha256":"cc639029c91868119ae9d86596554ed01defc58ffbc0eb921c55aef038946476","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cc639029c91868119ae9d86596554ed01defc58ffbc0eb921c55aef038946476","first_computed_at":"2026-05-18T02:47:52.055903Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:47:52.055903Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a4PfVu5la+YS002wXn6syYPcWcDiQsQ1qLB4br3jh3V8CkHV5i4WugLHxNi+1R+4HJ0QrB1L5yEYepVwIi/2DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:47:52.056388Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.3091","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3163a13af290569fc0b92a2562d3b1c3ead4b65f41cd024a850e5309c5a11a42","sha256:774382f0afa1edf0faebd9887bb8fbe79550f085579402f67fbbd1537c0314ca"],"state_sha256":"c52e1faefb7bbf021310ad47602b7bbca99e736732777477dd643ba2c6c9d3c2"}