{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:N6YZFQUZR26XHSI3O4AMMZHKLI","short_pith_number":"pith:N6YZFQUZ","canonical_record":{"source":{"id":"2504.16472","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-23T07:32:43Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"7afed5803463baa272958fabd39e1d05c3ff65acc1a7db1a4a3ee6add7066aca","abstract_canon_sha256":"6a1ca8825e065cb2faba57216a10c89aef206ae9ff51f243f4bd20a10472176c"},"schema_version":"1.0"},"canonical_sha256":"6fb192c2998ebd73c91b7700c664ea5a229d7ff526c7908bb44213e342792ba9","source":{"kind":"arxiv","id":"2504.16472","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.16472","created_at":"2026-07-05T11:03:04Z"},{"alias_kind":"arxiv_version","alias_value":"2504.16472v2","created_at":"2026-07-05T11:03:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.16472","created_at":"2026-07-05T11:03:04Z"},{"alias_kind":"pith_short_12","alias_value":"N6YZFQUZR26X","created_at":"2026-07-05T11:03:04Z"},{"alias_kind":"pith_short_16","alias_value":"N6YZFQUZR26XHSI3","created_at":"2026-07-05T11:03:04Z"},{"alias_kind":"pith_short_8","alias_value":"N6YZFQUZ","created_at":"2026-07-05T11:03:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:N6YZFQUZR26XHSI3O4AMMZHKLI","target":"record","payload":{"canonical_record":{"source":{"id":"2504.16472","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-23T07:32:43Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"7afed5803463baa272958fabd39e1d05c3ff65acc1a7db1a4a3ee6add7066aca","abstract_canon_sha256":"6a1ca8825e065cb2faba57216a10c89aef206ae9ff51f243f4bd20a10472176c"},"schema_version":"1.0"},"canonical_sha256":"6fb192c2998ebd73c91b7700c664ea5a229d7ff526c7908bb44213e342792ba9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:03:04.244717Z","signature_b64":"kLMw33gySt72LABCr6RJ7f31hr1CV30bJKV7N8/8P7ko+N+akl+pfgURuzYA5wCdUrM0DJgSk4X6CDlv+p0+Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6fb192c2998ebd73c91b7700c664ea5a229d7ff526c7908bb44213e342792ba9","last_reissued_at":"2026-07-05T11:03:04.244156Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:03:04.244156Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.16472","source_version":2,"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:03:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4+OkZkdn6nOM1Au23Y3iJjt4qSWsKPLHPDuq8Jw0hlDYlUZwm3Xyeb9vNkfb5ggUBll1t3zqnFwzvFGV6tNABg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T13:55:28.778889Z"},"content_sha256":"fec1baf0b8988f7c49b494e2e309cc33bf2150d0f6b583b1449bb1a7c97d856c","schema_version":"1.0","event_id":"sha256:fec1baf0b8988f7c49b494e2e309cc33bf2150d0f6b583b1449bb1a7c97d856c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:N6YZFQUZR26XHSI3O4AMMZHKLI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Mark Harman, Peter O'Hearn, Shubho Sengupta","submitted_at":"2025-04-23T07:32:43Z","abstract_excerpt":"Despite decades of research and practice in automated software testing, several fundamental concepts remain ill-defined and under-explored, yet offer enormous potential real-world impact. We show that these concepts raise exciting new challenges in the context of Large Language Models for software test generation. More specifically, we formally define and investigate the properties of hardening and catching tests. A hardening test is one that seeks to protect against future regressions, while a catching test is one that catches such a regression or a fault in new functionality introduced by a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.16472","kind":"arxiv","version":2},"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/2504.16472/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:03:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2/ZE1AMMb86swAr7qmuWhPdDlcAX0YmHgPG9jJ29GGhq55Rsinw+4L6zSHUhISHINr8iyPnutVaklwFCmZFzBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T13:55:28.779428Z"},"content_sha256":"6729b2836bd9f90354996fe425b5171ee690bb2e085d0815817cfbff08ef0620","schema_version":"1.0","event_id":"sha256:6729b2836bd9f90354996fe425b5171ee690bb2e085d0815817cfbff08ef0620"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N6YZFQUZR26XHSI3O4AMMZHKLI/bundle.json","state_url":"https://pith.science/pith/N6YZFQUZR26XHSI3O4AMMZHKLI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N6YZFQUZR26XHSI3O4AMMZHKLI/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-14T13:55:28Z","links":{"resolver":"https://pith.science/pith/N6YZFQUZR26XHSI3O4AMMZHKLI","bundle":"https://pith.science/pith/N6YZFQUZR26XHSI3O4AMMZHKLI/bundle.json","state":"https://pith.science/pith/N6YZFQUZR26XHSI3O4AMMZHKLI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N6YZFQUZR26XHSI3O4AMMZHKLI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:N6YZFQUZR26XHSI3O4AMMZHKLI","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":"6a1ca8825e065cb2faba57216a10c89aef206ae9ff51f243f4bd20a10472176c","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-23T07:32:43Z","title_canon_sha256":"7afed5803463baa272958fabd39e1d05c3ff65acc1a7db1a4a3ee6add7066aca"},"schema_version":"1.0","source":{"id":"2504.16472","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.16472","created_at":"2026-07-05T11:03:04Z"},{"alias_kind":"arxiv_version","alias_value":"2504.16472v2","created_at":"2026-07-05T11:03:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.16472","created_at":"2026-07-05T11:03:04Z"},{"alias_kind":"pith_short_12","alias_value":"N6YZFQUZR26X","created_at":"2026-07-05T11:03:04Z"},{"alias_kind":"pith_short_16","alias_value":"N6YZFQUZR26XHSI3","created_at":"2026-07-05T11:03:04Z"},{"alias_kind":"pith_short_8","alias_value":"N6YZFQUZ","created_at":"2026-07-05T11:03:04Z"}],"graph_snapshots":[{"event_id":"sha256:6729b2836bd9f90354996fe425b5171ee690bb2e085d0815817cfbff08ef0620","target":"graph","created_at":"2026-07-05T11:03:04Z","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/2504.16472/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Despite decades of research and practice in automated software testing, several fundamental concepts remain ill-defined and under-explored, yet offer enormous potential real-world impact. We show that these concepts raise exciting new challenges in the context of Large Language Models for software test generation. More specifically, we formally define and investigate the properties of hardening and catching tests. A hardening test is one that seeks to protect against future regressions, while a catching test is one that catches such a regression or a fault in new functionality introduced by a ","authors_text":"Mark Harman, Peter O'Hearn, Shubho Sengupta","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-23T07:32:43Z","title":"Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.16472","kind":"arxiv","version":2},"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:fec1baf0b8988f7c49b494e2e309cc33bf2150d0f6b583b1449bb1a7c97d856c","target":"record","created_at":"2026-07-05T11:03:04Z","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":"6a1ca8825e065cb2faba57216a10c89aef206ae9ff51f243f4bd20a10472176c","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-23T07:32:43Z","title_canon_sha256":"7afed5803463baa272958fabd39e1d05c3ff65acc1a7db1a4a3ee6add7066aca"},"schema_version":"1.0","source":{"id":"2504.16472","kind":"arxiv","version":2}},"canonical_sha256":"6fb192c2998ebd73c91b7700c664ea5a229d7ff526c7908bb44213e342792ba9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6fb192c2998ebd73c91b7700c664ea5a229d7ff526c7908bb44213e342792ba9","first_computed_at":"2026-07-05T11:03:04.244156Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:03:04.244156Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kLMw33gySt72LABCr6RJ7f31hr1CV30bJKV7N8/8P7ko+N+akl+pfgURuzYA5wCdUrM0DJgSk4X6CDlv+p0+Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:03:04.244717Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.16472","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fec1baf0b8988f7c49b494e2e309cc33bf2150d0f6b583b1449bb1a7c97d856c","sha256:6729b2836bd9f90354996fe425b5171ee690bb2e085d0815817cfbff08ef0620"],"state_sha256":"9d82b3e67ca4ceae9b8cf5b02edbbf3dc5e2126fd45f2942a9da1f94bb7a858c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P+XKhuNG+zoVeSUve5yozx/PIw4A8hF7DRMjLnYQ/qSswuw/20pLXIbuq812iRJgSYPXMzvoW9bZkJR5XKVWBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T13:55:28.784061Z","bundle_sha256":"6123f7fe8e4f30526ae89b661736839d8060752c267600ea16f48ae9e5d1ab6b"}}