{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6IMT5ZKKF4DU5M4742I22WCEN7","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":"cfb611778a3dc437bd22dda79680050b3cfe7ccd1d3257b288cd1318375a42e0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-01-29T07:45:41Z","title_canon_sha256":"2e7ff74b62665111c1f1a9b0375114780ee84a69a71f13a163ca4dd027eb760d"},"schema_version":"1.0","source":{"id":"2501.17461","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.17461","created_at":"2026-07-05T10:06:53Z"},{"alias_kind":"arxiv_version","alias_value":"2501.17461v1","created_at":"2026-07-05T10:06:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.17461","created_at":"2026-07-05T10:06:53Z"},{"alias_kind":"pith_short_12","alias_value":"6IMT5ZKKF4DU","created_at":"2026-07-05T10:06:53Z"},{"alias_kind":"pith_short_16","alias_value":"6IMT5ZKKF4DU5M47","created_at":"2026-07-05T10:06:53Z"},{"alias_kind":"pith_short_8","alias_value":"6IMT5ZKK","created_at":"2026-07-05T10:06:53Z"}],"graph_snapshots":[{"event_id":"sha256:26ffc3d964ad304f2f0ea0df8e5ac30c201dab3681d2da6f66db11d1a8ce45de","target":"graph","created_at":"2026-07-05T10:06:53Z","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/2501.17461/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automated test generation is crucial for ensuring the reliability and robustness of software applications while at the same time reducing the effort needed. While significant progress has been made in test generation research, generating valid test oracles still remains an open problem. To address this challenge, we present AugmenTest, an approach leveraging Large Language Models (LLMs) to infer correct test oracles based on available documentation of the software under test. Unlike most existing methods that rely on code, AugmenTest utilizes the semantic capabilities of LLMs to infer the inte","authors_text":"Angelo Susi, Davide Prandi, Fitsum Kifetew, Shaker Mahmud Khandaker","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-01-29T07:45:41Z","title":"AugmenTest: Enhancing Tests with LLM-Driven Oracles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.17461","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:ce5e0f85fc7ebe0439ec90cf53de66443f178614123e98b2f5b5bb6c7a705cab","target":"record","created_at":"2026-07-05T10:06:53Z","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":"cfb611778a3dc437bd22dda79680050b3cfe7ccd1d3257b288cd1318375a42e0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-01-29T07:45:41Z","title_canon_sha256":"2e7ff74b62665111c1f1a9b0375114780ee84a69a71f13a163ca4dd027eb760d"},"schema_version":"1.0","source":{"id":"2501.17461","kind":"arxiv","version":1}},"canonical_sha256":"f2193ee54a2f074eb39fe691ad58446ffd77606decdcf061d35afde4c52b4444","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f2193ee54a2f074eb39fe691ad58446ffd77606decdcf061d35afde4c52b4444","first_computed_at":"2026-07-05T10:06:53.209746Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:06:53.209746Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LeUR+jLEB4szJg6W14vweC41i3BxE2jkABdZqelThKcfxtODllrQ+5pLb4TcKCRcUBcCETcIwyefPuQMgpYvAg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:06:53.210200Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.17461","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce5e0f85fc7ebe0439ec90cf53de66443f178614123e98b2f5b5bb6c7a705cab","sha256:26ffc3d964ad304f2f0ea0df8e5ac30c201dab3681d2da6f66db11d1a8ce45de"],"state_sha256":"3e8e3307a5056d3c078d6a7a65ca082f56c0863db19a556ac453e544371642f6"}