{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:NVVTOKJD3DDNWE75TTURIHQMQH","short_pith_number":"pith:NVVTOKJD","canonical_record":{"source":{"id":"2404.10304","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T06:20:06Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"3dafef0d8d38902a775dfc8a54df771a41eec3b3125146e27765c1279f90faba","abstract_canon_sha256":"2bf9d337b6e1ea59f972bcf28998b94ebb279ee9169df148e30b44debdd48c97"},"schema_version":"1.0"},"canonical_sha256":"6d6b372923d8c6db13fd9ce9141e0c81fafc67b86ac8b7217bef82aa097bc5f9","source":{"kind":"arxiv","id":"2404.10304","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.10304","created_at":"2026-07-05T11:13:08Z"},{"alias_kind":"arxiv_version","alias_value":"2404.10304v2","created_at":"2026-07-05T11:13:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.10304","created_at":"2026-07-05T11:13:08Z"},{"alias_kind":"pith_short_12","alias_value":"NVVTOKJD3DDN","created_at":"2026-07-05T11:13:08Z"},{"alias_kind":"pith_short_16","alias_value":"NVVTOKJD3DDNWE75","created_at":"2026-07-05T11:13:08Z"},{"alias_kind":"pith_short_8","alias_value":"NVVTOKJD","created_at":"2026-07-05T11:13:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:NVVTOKJD3DDNWE75TTURIHQMQH","target":"record","payload":{"canonical_record":{"source":{"id":"2404.10304","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T06:20:06Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"3dafef0d8d38902a775dfc8a54df771a41eec3b3125146e27765c1279f90faba","abstract_canon_sha256":"2bf9d337b6e1ea59f972bcf28998b94ebb279ee9169df148e30b44debdd48c97"},"schema_version":"1.0"},"canonical_sha256":"6d6b372923d8c6db13fd9ce9141e0c81fafc67b86ac8b7217bef82aa097bc5f9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:13:08.897407Z","signature_b64":"Y+8I0Tr2HbUOFqEMKTjG0pwhIfvtMrIaSYLa2h//fAoB3ZOvjP9QAoile+tinrzDnSGOgEpJNKcH8qHQQnAkAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6d6b372923d8c6db13fd9ce9141e0c81fafc67b86ac8b7217bef82aa097bc5f9","last_reissued_at":"2026-07-05T11:13:08.896840Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:13:08.896840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.10304","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:13:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CuY9g/MyiA2o1BNLpYt1YodV+4eimhKn7mXR4bws1fmAszKpRKj7SRFD98QXCnCIs1GQ+VfSg+FtJvzGQvNGAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T09:58:48.562861Z"},"content_sha256":"55cb9df179fe37dd203bdc668c75833f04143bc525846289a959bc65e2afe8d9","schema_version":"1.0","event_id":"sha256:55cb9df179fe37dd203bdc668c75833f04143bc525846289a959bc65e2afe8d9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:NVVTOKJD3DDNWE75TTURIHQMQH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Gang Huang, Ge Li, Jie M. Zhang, Kaibo Liu, Mark Harman, Yihong Dong, Yiyang Liu, Yudong Han, Yun Ma, Zhenpeng Chen","submitted_at":"2024-04-16T06:20:06Z","abstract_excerpt":"Detecting tricky bugs in plausible programs, those that pass existing test suites yet still contain bugs, remains a significant challenge in software testing. To address this problem, we propose TrickCatcher, an LLM-powered approach to generating test cases for uncovering bugs in plausible programs. TrickCatcher operates in three stages: First, it uses an LLM to generate program variants based on the program under test (PUT) and its specification. Second, it employs an LLM to construct an input generator from the specification for producing test inputs. Finally, these inputs are executed on bo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.10304","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/2404.10304/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:13:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TBsHcNxlw4DBNCUKyLAJC3pkPyT9tU/A3OXLczxuTU/5Xl2atcHcxRynbCHId2DrEdWAqi+7QRrdoV4ypKcxCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T09:58:48.563498Z"},"content_sha256":"513a14efd03e506ca384918b671d2ca41782a9a5c684daf36ad0f1da75b019a6","schema_version":"1.0","event_id":"sha256:513a14efd03e506ca384918b671d2ca41782a9a5c684daf36ad0f1da75b019a6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NVVTOKJD3DDNWE75TTURIHQMQH/bundle.json","state_url":"https://pith.science/pith/NVVTOKJD3DDNWE75TTURIHQMQH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NVVTOKJD3DDNWE75TTURIHQMQH/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-01T09:58:48Z","links":{"resolver":"https://pith.science/pith/NVVTOKJD3DDNWE75TTURIHQMQH","bundle":"https://pith.science/pith/NVVTOKJD3DDNWE75TTURIHQMQH/bundle.json","state":"https://pith.science/pith/NVVTOKJD3DDNWE75TTURIHQMQH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NVVTOKJD3DDNWE75TTURIHQMQH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:NVVTOKJD3DDNWE75TTURIHQMQH","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":"2bf9d337b6e1ea59f972bcf28998b94ebb279ee9169df148e30b44debdd48c97","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T06:20:06Z","title_canon_sha256":"3dafef0d8d38902a775dfc8a54df771a41eec3b3125146e27765c1279f90faba"},"schema_version":"1.0","source":{"id":"2404.10304","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.10304","created_at":"2026-07-05T11:13:08Z"},{"alias_kind":"arxiv_version","alias_value":"2404.10304v2","created_at":"2026-07-05T11:13:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.10304","created_at":"2026-07-05T11:13:08Z"},{"alias_kind":"pith_short_12","alias_value":"NVVTOKJD3DDN","created_at":"2026-07-05T11:13:08Z"},{"alias_kind":"pith_short_16","alias_value":"NVVTOKJD3DDNWE75","created_at":"2026-07-05T11:13:08Z"},{"alias_kind":"pith_short_8","alias_value":"NVVTOKJD","created_at":"2026-07-05T11:13:08Z"}],"graph_snapshots":[{"event_id":"sha256:513a14efd03e506ca384918b671d2ca41782a9a5c684daf36ad0f1da75b019a6","target":"graph","created_at":"2026-07-05T11:13:08Z","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/2404.10304/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Detecting tricky bugs in plausible programs, those that pass existing test suites yet still contain bugs, remains a significant challenge in software testing. To address this problem, we propose TrickCatcher, an LLM-powered approach to generating test cases for uncovering bugs in plausible programs. TrickCatcher operates in three stages: First, it uses an LLM to generate program variants based on the program under test (PUT) and its specification. Second, it employs an LLM to construct an input generator from the specification for producing test inputs. Finally, these inputs are executed on bo","authors_text":"Gang Huang, Ge Li, Jie M. Zhang, Kaibo Liu, Mark Harman, Yihong Dong, Yiyang Liu, Yudong Han, Yun Ma, Zhenpeng Chen","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T06:20:06Z","title":"LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.10304","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:55cb9df179fe37dd203bdc668c75833f04143bc525846289a959bc65e2afe8d9","target":"record","created_at":"2026-07-05T11:13:08Z","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":"2bf9d337b6e1ea59f972bcf28998b94ebb279ee9169df148e30b44debdd48c97","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-16T06:20:06Z","title_canon_sha256":"3dafef0d8d38902a775dfc8a54df771a41eec3b3125146e27765c1279f90faba"},"schema_version":"1.0","source":{"id":"2404.10304","kind":"arxiv","version":2}},"canonical_sha256":"6d6b372923d8c6db13fd9ce9141e0c81fafc67b86ac8b7217bef82aa097bc5f9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6d6b372923d8c6db13fd9ce9141e0c81fafc67b86ac8b7217bef82aa097bc5f9","first_computed_at":"2026-07-05T11:13:08.896840Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:13:08.896840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y+8I0Tr2HbUOFqEMKTjG0pwhIfvtMrIaSYLa2h//fAoB3ZOvjP9QAoile+tinrzDnSGOgEpJNKcH8qHQQnAkAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:13:08.897407Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.10304","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55cb9df179fe37dd203bdc668c75833f04143bc525846289a959bc65e2afe8d9","sha256:513a14efd03e506ca384918b671d2ca41782a9a5c684daf36ad0f1da75b019a6"],"state_sha256":"9eb9b6d75c46e4c97ac8d34a6498511c4135208728d95cc71d794c3c5bcd1d06"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dNOvTUMJ0YJbyxpUKgb67l+LOJtu+lYbtySKvzpeRTDAcK8SpcbCkRRmbtZ/MLKtEKLbZnA/G963gAdIGWNEDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T09:58:48.592904Z","bundle_sha256":"e4de3dfb90d20d1051697d433ee6df9bac018cbee061aefbcf74b92c6b6d7876"}}