{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:JMSQMWEPLERIKOKAJLN5ATOEME","short_pith_number":"pith:JMSQMWEP","canonical_record":{"source":{"id":"2403.16218","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-03-24T16:18:27Z","cross_cats_sorted":["cs.AI","cs.LG","cs.PL"],"title_canon_sha256":"5c79fbe4210ab30b9a74729e1d37b2c3c7ba648b4f5691fb3d8b733380f93e15","abstract_canon_sha256":"a80aeeabf83aa818206e557908541d721f085ec96a607c2d7dbabef9c92db0da"},"schema_version":"1.0"},"canonical_sha256":"4b2506588f59228539404adbd04dc46123da10fa3da507b2a2537f53819beecc","source":{"kind":"arxiv","id":"2403.16218","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.16218","created_at":"2026-07-05T11:00:36Z"},{"alias_kind":"arxiv_version","alias_value":"2403.16218v4","created_at":"2026-07-05T11:00:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.16218","created_at":"2026-07-05T11:00:36Z"},{"alias_kind":"pith_short_12","alias_value":"JMSQMWEPLERI","created_at":"2026-07-05T11:00:36Z"},{"alias_kind":"pith_short_16","alias_value":"JMSQMWEPLERIKOKA","created_at":"2026-07-05T11:00:36Z"},{"alias_kind":"pith_short_8","alias_value":"JMSQMWEP","created_at":"2026-07-05T11:00:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:JMSQMWEPLERIKOKAJLN5ATOEME","target":"record","payload":{"canonical_record":{"source":{"id":"2403.16218","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-03-24T16:18:27Z","cross_cats_sorted":["cs.AI","cs.LG","cs.PL"],"title_canon_sha256":"5c79fbe4210ab30b9a74729e1d37b2c3c7ba648b4f5691fb3d8b733380f93e15","abstract_canon_sha256":"a80aeeabf83aa818206e557908541d721f085ec96a607c2d7dbabef9c92db0da"},"schema_version":"1.0"},"canonical_sha256":"4b2506588f59228539404adbd04dc46123da10fa3da507b2a2537f53819beecc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:00:36.674514Z","signature_b64":"BXU6aR/oy2B1gkYpRsYlO2e19uV/QZGB/AlT7AdLsC6W+GHuHhFdvTBYjJxp2ZyUnXmuPEAUdG+D6l38NSc1AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4b2506588f59228539404adbd04dc46123da10fa3da507b2a2537f53819beecc","last_reissued_at":"2026-07-05T11:00:36.673952Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:00:36.673952Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.16218","source_version":4,"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-05T11:00:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g452zEvgfwf07mQsYv6zmddFUZpw9zyHj6vIkwklxJlT/qH5avJf5xl8H144JsEJ2K1V6/7WyGOeW5l/SUOGAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T20:57:52.559573Z"},"content_sha256":"faba3e4fcf9857e1502e5339b87e9bc615e896dbcc01b1cc68db012e90805748","schema_version":"1.0","event_id":"sha256:faba3e4fcf9857e1502e5339b87e9bc615e896dbcc01b1cc68db012e90805748"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:JMSQMWEPLERIKOKAJLN5ATOEME","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CoverUp: Effective High Coverage Test Generation for Python","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.PL"],"primary_cat":"cs.SE","authors_text":"Emery D. Berger, Juan Altmayer Pizzorno","submitted_at":"2024-03-24T16:18:27Z","abstract_excerpt":"Testing is an essential part of software development. Test generation tools attempt to automate the otherwise labor-intensive task of test creation, but generating high-coverage tests remains challenging. This paper proposes CoverUp, a novel approach to driving the generation of high-coverage Python regression tests. CoverUp combines coverage analysis, code context, and feedback in prompts that iteratively guide the LLM to generate tests that improve line and branch coverage. We evaluate our prototype CoverUp implementation across a benchmark of challenging code derived from open-source Python"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.16218","kind":"arxiv","version":4},"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/2403.16218/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-05T11:00:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rDonPWs6O46WCwdMnHI96v0D66ARl6x5YO6iVO/hpg8y1M1yAdabuE26yihbOSIrIIyL7lscl+Z6DNbgm7GcAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T20:57:52.560213Z"},"content_sha256":"fcbe447e7a8bdd51c4c217f086131164cb071142ba80d2124c1b79e98941f33c","schema_version":"1.0","event_id":"sha256:fcbe447e7a8bdd51c4c217f086131164cb071142ba80d2124c1b79e98941f33c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JMSQMWEPLERIKOKAJLN5ATOEME/bundle.json","state_url":"https://pith.science/pith/JMSQMWEPLERIKOKAJLN5ATOEME/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JMSQMWEPLERIKOKAJLN5ATOEME/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-09T20:57:52Z","links":{"resolver":"https://pith.science/pith/JMSQMWEPLERIKOKAJLN5ATOEME","bundle":"https://pith.science/pith/JMSQMWEPLERIKOKAJLN5ATOEME/bundle.json","state":"https://pith.science/pith/JMSQMWEPLERIKOKAJLN5ATOEME/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JMSQMWEPLERIKOKAJLN5ATOEME/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:JMSQMWEPLERIKOKAJLN5ATOEME","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":"a80aeeabf83aa818206e557908541d721f085ec96a607c2d7dbabef9c92db0da","cross_cats_sorted":["cs.AI","cs.LG","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-03-24T16:18:27Z","title_canon_sha256":"5c79fbe4210ab30b9a74729e1d37b2c3c7ba648b4f5691fb3d8b733380f93e15"},"schema_version":"1.0","source":{"id":"2403.16218","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.16218","created_at":"2026-07-05T11:00:36Z"},{"alias_kind":"arxiv_version","alias_value":"2403.16218v4","created_at":"2026-07-05T11:00:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.16218","created_at":"2026-07-05T11:00:36Z"},{"alias_kind":"pith_short_12","alias_value":"JMSQMWEPLERI","created_at":"2026-07-05T11:00:36Z"},{"alias_kind":"pith_short_16","alias_value":"JMSQMWEPLERIKOKA","created_at":"2026-07-05T11:00:36Z"},{"alias_kind":"pith_short_8","alias_value":"JMSQMWEP","created_at":"2026-07-05T11:00:36Z"}],"graph_snapshots":[{"event_id":"sha256:fcbe447e7a8bdd51c4c217f086131164cb071142ba80d2124c1b79e98941f33c","target":"graph","created_at":"2026-07-05T11:00:36Z","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/2403.16218/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Testing is an essential part of software development. Test generation tools attempt to automate the otherwise labor-intensive task of test creation, but generating high-coverage tests remains challenging. This paper proposes CoverUp, a novel approach to driving the generation of high-coverage Python regression tests. CoverUp combines coverage analysis, code context, and feedback in prompts that iteratively guide the LLM to generate tests that improve line and branch coverage. We evaluate our prototype CoverUp implementation across a benchmark of challenging code derived from open-source Python","authors_text":"Emery D. Berger, Juan Altmayer Pizzorno","cross_cats":["cs.AI","cs.LG","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-03-24T16:18:27Z","title":"CoverUp: Effective High Coverage Test Generation for Python"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.16218","kind":"arxiv","version":4},"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:faba3e4fcf9857e1502e5339b87e9bc615e896dbcc01b1cc68db012e90805748","target":"record","created_at":"2026-07-05T11:00:36Z","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":"a80aeeabf83aa818206e557908541d721f085ec96a607c2d7dbabef9c92db0da","cross_cats_sorted":["cs.AI","cs.LG","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-03-24T16:18:27Z","title_canon_sha256":"5c79fbe4210ab30b9a74729e1d37b2c3c7ba648b4f5691fb3d8b733380f93e15"},"schema_version":"1.0","source":{"id":"2403.16218","kind":"arxiv","version":4}},"canonical_sha256":"4b2506588f59228539404adbd04dc46123da10fa3da507b2a2537f53819beecc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4b2506588f59228539404adbd04dc46123da10fa3da507b2a2537f53819beecc","first_computed_at":"2026-07-05T11:00:36.673952Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:00:36.673952Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BXU6aR/oy2B1gkYpRsYlO2e19uV/QZGB/AlT7AdLsC6W+GHuHhFdvTBYjJxp2ZyUnXmuPEAUdG+D6l38NSc1AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:00:36.674514Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.16218","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:faba3e4fcf9857e1502e5339b87e9bc615e896dbcc01b1cc68db012e90805748","sha256:fcbe447e7a8bdd51c4c217f086131164cb071142ba80d2124c1b79e98941f33c"],"state_sha256":"9d78ad157961feb1ea046339f99a82c86cb5d760ee48af5d555eabef3df5243d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8C3Cnqzgai19NAsZNkvSobCSyenmJYtDIQbB2mAie3CyEUEVRPt6l8Ds/yJOynmImxzH184Hthfw2B4KPc6EAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T20:57:52.566160Z","bundle_sha256":"b5d10b8d244b6a6bb28f7e0fcc28c43b5b3b13d3257a4a9adcdb82c5584a67b6"}}