{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:OQ7G4IXEE4ATSXUN4JM63OLO6B","short_pith_number":"pith:OQ7G4IXE","canonical_record":{"source":{"id":"2411.01789","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-04T04:24:25Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"65954fda78b7fee4be4088855c9c0dc9dbbf55dcde2a1e1d8cb7f9284f17c077","abstract_canon_sha256":"68b64ff270807c6a05558635d568f27de0fa7810b9a7db6139787c11ae7d9aaf"},"schema_version":"1.0"},"canonical_sha256":"743e6e22e42701395e8de259edb96ef07fcbd45b922f07484c378db5bc1868dc","source":{"kind":"arxiv","id":"2411.01789","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.01789","created_at":"2026-07-05T11:39:45Z"},{"alias_kind":"arxiv_version","alias_value":"2411.01789v2","created_at":"2026-07-05T11:39:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.01789","created_at":"2026-07-05T11:39:45Z"},{"alias_kind":"pith_short_12","alias_value":"OQ7G4IXEE4AT","created_at":"2026-07-05T11:39:45Z"},{"alias_kind":"pith_short_16","alias_value":"OQ7G4IXEE4ATSXUN","created_at":"2026-07-05T11:39:45Z"},{"alias_kind":"pith_short_8","alias_value":"OQ7G4IXE","created_at":"2026-07-05T11:39:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:OQ7G4IXEE4ATSXUN4JM63OLO6B","target":"record","payload":{"canonical_record":{"source":{"id":"2411.01789","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-04T04:24:25Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"65954fda78b7fee4be4088855c9c0dc9dbbf55dcde2a1e1d8cb7f9284f17c077","abstract_canon_sha256":"68b64ff270807c6a05558635d568f27de0fa7810b9a7db6139787c11ae7d9aaf"},"schema_version":"1.0"},"canonical_sha256":"743e6e22e42701395e8de259edb96ef07fcbd45b922f07484c378db5bc1868dc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:39:45.398515Z","signature_b64":"DNBiVqBNQW8MOuSsQUPON5I9KSnD+6WpSkoLMkGqDCMlacqt0UN9Xj34rkUdSH05G3BIto/DzVN1/t+4ei3iDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"743e6e22e42701395e8de259edb96ef07fcbd45b922f07484c378db5bc1868dc","last_reissued_at":"2026-07-05T11:39:45.398023Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:39:45.398023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.01789","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:39:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JbnTV2wSW62MXUf+d45JuEYmULCCIG2s8ULUjA6kfCThU1TJAJcwx9kKzHP6f+i1IceH/1gLPQJdsgcXmHY0Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T20:25:53.833366Z"},"content_sha256":"e1a2162f098966c8d9d15c65eb13a7d85e22097a98e613009c44632a60d43c8a","schema_version":"1.0","event_id":"sha256:e1a2162f098966c8d9d15c65eb13a7d85e22097a98e613009c44632a60d43c8a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:OQ7G4IXEE4ATSXUN4JM63OLO6B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Chenguang Zhu, Sarfraz Khurshid, Shan Jiang","submitted_at":"2024-11-04T04:24:25Z","abstract_excerpt":"Software testing remains the most widely used methodology for validating quality of code. However, effectiveness of testing critically depends on the quality of test suites used. Test cases in a test suite consist of two fundamental parts: (1) input values for the code under test, and (2) correct checks for the outputs it produces. These checks are commonly written as assertions, and termed test oracles. The last couple of decades have seen much progress in automated test input generation, e.g., using fuzzing and symbolic execution. However, automating test oracles remains a relatively less ex"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.01789","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/2411.01789/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:39:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DgdCMYomZ2rr3047UmTj1k1C+NvURle1A3d+kp2Jc8FflGzaTGGcwfqYVpoo7/HuCKENXWiLOV//5LFmRkzNAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T20:25:53.833862Z"},"content_sha256":"327f61b81b39e4ac3dadc87067a1e3ba755cfb79f7eae5123d4ede32574b42d2","schema_version":"1.0","event_id":"sha256:327f61b81b39e4ac3dadc87067a1e3ba755cfb79f7eae5123d4ede32574b42d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OQ7G4IXEE4ATSXUN4JM63OLO6B/bundle.json","state_url":"https://pith.science/pith/OQ7G4IXEE4ATSXUN4JM63OLO6B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OQ7G4IXEE4ATSXUN4JM63OLO6B/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-16T20:25:53Z","links":{"resolver":"https://pith.science/pith/OQ7G4IXEE4ATSXUN4JM63OLO6B","bundle":"https://pith.science/pith/OQ7G4IXEE4ATSXUN4JM63OLO6B/bundle.json","state":"https://pith.science/pith/OQ7G4IXEE4ATSXUN4JM63OLO6B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OQ7G4IXEE4ATSXUN4JM63OLO6B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:OQ7G4IXEE4ATSXUN4JM63OLO6B","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":"68b64ff270807c6a05558635d568f27de0fa7810b9a7db6139787c11ae7d9aaf","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-04T04:24:25Z","title_canon_sha256":"65954fda78b7fee4be4088855c9c0dc9dbbf55dcde2a1e1d8cb7f9284f17c077"},"schema_version":"1.0","source":{"id":"2411.01789","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.01789","created_at":"2026-07-05T11:39:45Z"},{"alias_kind":"arxiv_version","alias_value":"2411.01789v2","created_at":"2026-07-05T11:39:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.01789","created_at":"2026-07-05T11:39:45Z"},{"alias_kind":"pith_short_12","alias_value":"OQ7G4IXEE4AT","created_at":"2026-07-05T11:39:45Z"},{"alias_kind":"pith_short_16","alias_value":"OQ7G4IXEE4ATSXUN","created_at":"2026-07-05T11:39:45Z"},{"alias_kind":"pith_short_8","alias_value":"OQ7G4IXE","created_at":"2026-07-05T11:39:45Z"}],"graph_snapshots":[{"event_id":"sha256:327f61b81b39e4ac3dadc87067a1e3ba755cfb79f7eae5123d4ede32574b42d2","target":"graph","created_at":"2026-07-05T11:39:45Z","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/2411.01789/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Software testing remains the most widely used methodology for validating quality of code. However, effectiveness of testing critically depends on the quality of test suites used. Test cases in a test suite consist of two fundamental parts: (1) input values for the code under test, and (2) correct checks for the outputs it produces. These checks are commonly written as assertions, and termed test oracles. The last couple of decades have seen much progress in automated test input generation, e.g., using fuzzing and symbolic execution. However, automating test oracles remains a relatively less ex","authors_text":"Chenguang Zhu, Sarfraz Khurshid, Shan Jiang","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-04T04:24:25Z","title":"Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.01789","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:e1a2162f098966c8d9d15c65eb13a7d85e22097a98e613009c44632a60d43c8a","target":"record","created_at":"2026-07-05T11:39:45Z","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":"68b64ff270807c6a05558635d568f27de0fa7810b9a7db6139787c11ae7d9aaf","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-04T04:24:25Z","title_canon_sha256":"65954fda78b7fee4be4088855c9c0dc9dbbf55dcde2a1e1d8cb7f9284f17c077"},"schema_version":"1.0","source":{"id":"2411.01789","kind":"arxiv","version":2}},"canonical_sha256":"743e6e22e42701395e8de259edb96ef07fcbd45b922f07484c378db5bc1868dc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"743e6e22e42701395e8de259edb96ef07fcbd45b922f07484c378db5bc1868dc","first_computed_at":"2026-07-05T11:39:45.398023Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:39:45.398023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DNBiVqBNQW8MOuSsQUPON5I9KSnD+6WpSkoLMkGqDCMlacqt0UN9Xj34rkUdSH05G3BIto/DzVN1/t+4ei3iDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:39:45.398515Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.01789","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1a2162f098966c8d9d15c65eb13a7d85e22097a98e613009c44632a60d43c8a","sha256:327f61b81b39e4ac3dadc87067a1e3ba755cfb79f7eae5123d4ede32574b42d2"],"state_sha256":"bc9e9ba23b121c20fd3902c720cf894e21c65f9c59cb90c90f0bd50ea2d4d7b5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kLJJrPPUzfArpuOux+o0lY1WvBI717dSDX4A/v3LIdxfggVp4Q2TKwgaWQ9gmsnaaIwCQ43QcpkkpFy1txwNCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T20:25:53.838789Z","bundle_sha256":"e6a8e35fbfe22896265d193f97351752ed642eb70e3f8df0670a8ebc75b21528"}}