{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:NTHL2DG2XRUJR4Q6BGDGQ7EL26","short_pith_number":"pith:NTHL2DG2","canonical_record":{"source":{"id":"2307.13383","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-07-25T10:07:02Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"0c2f7d97f5b4815d5eaed4d3d5c808f8daa497a0390deebe745059b4da5da4bf","abstract_canon_sha256":"25eaa95a8af56202bd73f7eecb954f27a49fc8e6113eee2d3bcf12310ceca6ef"},"schema_version":"1.0"},"canonical_sha256":"6ccebd0cdabc6898f21e0986687c8bd7b45ae58a61241eaa11e45691da5098c1","source":{"kind":"arxiv","id":"2307.13383","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.13383","created_at":"2026-07-05T06:34:13Z"},{"alias_kind":"arxiv_version","alias_value":"2307.13383v1","created_at":"2026-07-05T06:34:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.13383","created_at":"2026-07-05T06:34:13Z"},{"alias_kind":"pith_short_12","alias_value":"NTHL2DG2XRUJ","created_at":"2026-07-05T06:34:13Z"},{"alias_kind":"pith_short_16","alias_value":"NTHL2DG2XRUJR4Q6","created_at":"2026-07-05T06:34:13Z"},{"alias_kind":"pith_short_8","alias_value":"NTHL2DG2","created_at":"2026-07-05T06:34:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:NTHL2DG2XRUJR4Q6BGDGQ7EL26","target":"record","payload":{"canonical_record":{"source":{"id":"2307.13383","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-07-25T10:07:02Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"0c2f7d97f5b4815d5eaed4d3d5c808f8daa497a0390deebe745059b4da5da4bf","abstract_canon_sha256":"25eaa95a8af56202bd73f7eecb954f27a49fc8e6113eee2d3bcf12310ceca6ef"},"schema_version":"1.0"},"canonical_sha256":"6ccebd0cdabc6898f21e0986687c8bd7b45ae58a61241eaa11e45691da5098c1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:34:13.207211Z","signature_b64":"5j2SAQ3aNEsQWA1q5Y3I1rqjcO0Wh7I5ytt8z58qXttEbL2daZokO6jNUyKDwnFSIaAh5cNbO2BQc0JTKPLtCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ccebd0cdabc6898f21e0986687c8bd7b45ae58a61241eaa11e45691da5098c1","last_reissued_at":"2026-07-05T06:34:13.206804Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:34:13.206804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.13383","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:34:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W7Sl/LGeXexxFOQDUa+n9I2reyZsf8mCEI2djbOt9yCJlL8H5JICtDriKLPUZgWKn0e5txklQi+kg8TfeNfSCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T08:10:55.395541Z"},"content_sha256":"2720a6cf09852a83bc00c725f2eb42ec41023f37d27a1d4d0d15e81649daa65b","schema_version":"1.0","event_id":"sha256:2720a6cf09852a83bc00c725f2eb42ec41023f37d27a1d4d0d15e81649daa65b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:NTHL2DG2XRUJR4Q6BGDGQ7EL26","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Predicting Code Coverage without Execution","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Anisha Agarwal, Colin Clement, Michele Tufano, Neel Sundaresan, Shubham Chandel","submitted_at":"2023-07-25T10:07:02Z","abstract_excerpt":"Code coverage is a widely used metric for quantifying the extent to which program elements, such as statements or branches, are executed during testing. Calculating code coverage is resource-intensive, requiring code building and execution with additional overhead for the instrumentation. Furthermore, computing coverage of any snippet of code requires the whole program context. Using Machine Learning to amortize this expensive process could lower the cost of code coverage by requiring only the source code context, and the task of code coverage prediction can be a novel benchmark for judging th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.13383","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/2307.13383/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:34:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VO5KEBJAiV08SxcLIvLfZJgZdvv3qJMrDxdW9/zpZm2Immo/n+TXPDXbQyUKpYptkS929AQUYzNOvPlGABO/Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T08:10:55.396485Z"},"content_sha256":"00f7eb459fdaa565bfa0ffc8f6db291d1be92603b87052952d0fe54748c05e9d","schema_version":"1.0","event_id":"sha256:00f7eb459fdaa565bfa0ffc8f6db291d1be92603b87052952d0fe54748c05e9d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NTHL2DG2XRUJR4Q6BGDGQ7EL26/bundle.json","state_url":"https://pith.science/pith/NTHL2DG2XRUJR4Q6BGDGQ7EL26/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NTHL2DG2XRUJR4Q6BGDGQ7EL26/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-10T08:10:55Z","links":{"resolver":"https://pith.science/pith/NTHL2DG2XRUJR4Q6BGDGQ7EL26","bundle":"https://pith.science/pith/NTHL2DG2XRUJR4Q6BGDGQ7EL26/bundle.json","state":"https://pith.science/pith/NTHL2DG2XRUJR4Q6BGDGQ7EL26/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NTHL2DG2XRUJR4Q6BGDGQ7EL26/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:NTHL2DG2XRUJR4Q6BGDGQ7EL26","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":"25eaa95a8af56202bd73f7eecb954f27a49fc8e6113eee2d3bcf12310ceca6ef","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-07-25T10:07:02Z","title_canon_sha256":"0c2f7d97f5b4815d5eaed4d3d5c808f8daa497a0390deebe745059b4da5da4bf"},"schema_version":"1.0","source":{"id":"2307.13383","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.13383","created_at":"2026-07-05T06:34:13Z"},{"alias_kind":"arxiv_version","alias_value":"2307.13383v1","created_at":"2026-07-05T06:34:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.13383","created_at":"2026-07-05T06:34:13Z"},{"alias_kind":"pith_short_12","alias_value":"NTHL2DG2XRUJ","created_at":"2026-07-05T06:34:13Z"},{"alias_kind":"pith_short_16","alias_value":"NTHL2DG2XRUJR4Q6","created_at":"2026-07-05T06:34:13Z"},{"alias_kind":"pith_short_8","alias_value":"NTHL2DG2","created_at":"2026-07-05T06:34:13Z"}],"graph_snapshots":[{"event_id":"sha256:00f7eb459fdaa565bfa0ffc8f6db291d1be92603b87052952d0fe54748c05e9d","target":"graph","created_at":"2026-07-05T06:34:13Z","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/2307.13383/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code coverage is a widely used metric for quantifying the extent to which program elements, such as statements or branches, are executed during testing. Calculating code coverage is resource-intensive, requiring code building and execution with additional overhead for the instrumentation. Furthermore, computing coverage of any snippet of code requires the whole program context. Using Machine Learning to amortize this expensive process could lower the cost of code coverage by requiring only the source code context, and the task of code coverage prediction can be a novel benchmark for judging th","authors_text":"Anisha Agarwal, Colin Clement, Michele Tufano, Neel Sundaresan, Shubham Chandel","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-07-25T10:07:02Z","title":"Predicting Code Coverage without Execution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.13383","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:2720a6cf09852a83bc00c725f2eb42ec41023f37d27a1d4d0d15e81649daa65b","target":"record","created_at":"2026-07-05T06:34:13Z","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":"25eaa95a8af56202bd73f7eecb954f27a49fc8e6113eee2d3bcf12310ceca6ef","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-07-25T10:07:02Z","title_canon_sha256":"0c2f7d97f5b4815d5eaed4d3d5c808f8daa497a0390deebe745059b4da5da4bf"},"schema_version":"1.0","source":{"id":"2307.13383","kind":"arxiv","version":1}},"canonical_sha256":"6ccebd0cdabc6898f21e0986687c8bd7b45ae58a61241eaa11e45691da5098c1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6ccebd0cdabc6898f21e0986687c8bd7b45ae58a61241eaa11e45691da5098c1","first_computed_at":"2026-07-05T06:34:13.206804Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:34:13.206804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5j2SAQ3aNEsQWA1q5Y3I1rqjcO0Wh7I5ytt8z58qXttEbL2daZokO6jNUyKDwnFSIaAh5cNbO2BQc0JTKPLtCw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:34:13.207211Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.13383","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2720a6cf09852a83bc00c725f2eb42ec41023f37d27a1d4d0d15e81649daa65b","sha256:00f7eb459fdaa565bfa0ffc8f6db291d1be92603b87052952d0fe54748c05e9d"],"state_sha256":"3a1537a9c6761cb15f3c60da4fa6b95ebb7379a941b847177c174c0720dc807a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"et4zZ56/hGZBjdx0tF8VYkKguaM4vI9V3dG0m/DsjlYvkWFO4pNw33zE3uddDWrDUjOhWWVRrQL7P0m/BsY0DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T08:10:55.402517Z","bundle_sha256":"1e9d8b6db340303cbe05183cb401c8b695c0050e12f27c1744d02a3f9524e61f"}}