{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:QF4TRV3L3SYOXTW4XOBEMYDCJJ","short_pith_number":"pith:QF4TRV3L","canonical_record":{"source":{"id":"2604.23509","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-04-26T03:06:16Z","cross_cats_sorted":[],"title_canon_sha256":"989d9cdb6fb986bad14e358b2b37e4634166482b39b59c163b4c77d7e29d5d9f","abstract_canon_sha256":"7c9a94d30db7b6a95e161926ee29abc386b00842f14e1eae15cf8d10e3f28ad2"},"schema_version":"1.0"},"canonical_sha256":"817938d76bdcb0ebcedcbb824660624a6548ebe699ada1214416cee14c6ccc3d","source":{"kind":"arxiv","id":"2604.23509","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.23509","created_at":"2026-08-04T02:00:15Z"},{"alias_kind":"arxiv_version","alias_value":"2604.23509v2","created_at":"2026-08-04T02:00:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.23509","created_at":"2026-08-04T02:00:15Z"},{"alias_kind":"pith_short_12","alias_value":"QF4TRV3L3SYO","created_at":"2026-08-04T02:00:15Z"},{"alias_kind":"pith_short_16","alias_value":"QF4TRV3L3SYOXTW4","created_at":"2026-08-04T02:00:15Z"},{"alias_kind":"pith_short_8","alias_value":"QF4TRV3L","created_at":"2026-08-04T02:00:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:QF4TRV3L3SYOXTW4XOBEMYDCJJ","target":"record","payload":{"canonical_record":{"source":{"id":"2604.23509","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-04-26T03:06:16Z","cross_cats_sorted":[],"title_canon_sha256":"989d9cdb6fb986bad14e358b2b37e4634166482b39b59c163b4c77d7e29d5d9f","abstract_canon_sha256":"7c9a94d30db7b6a95e161926ee29abc386b00842f14e1eae15cf8d10e3f28ad2"},"schema_version":"1.0"},"canonical_sha256":"817938d76bdcb0ebcedcbb824660624a6548ebe699ada1214416cee14c6ccc3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-04T02:00:15.946201Z","signature_b64":"pi2PJJcUiOKzigXTYWvyGCngpZ5GvXP6fL7VT54q0DjLBk87cO1Pcl5yzO05Dj9qs9C5uSXqbMfZ4ywNIn5rCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"817938d76bdcb0ebcedcbb824660624a6548ebe699ada1214416cee14c6ccc3d","last_reissued_at":"2026-08-04T02:00:15.944608Z","signature_status":"signed_v1","first_computed_at":"2026-08-04T02:00:15.944608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.23509","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-08-04T02:00:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OHyd01gpy7FgaSiFiCa4Lc0A3Hpao+36g2udodeMdrLhBF3nE7yXEcKM2F2BgOabJFAGKmZ6PIvOGkg3zNWOCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T19:26:47.824836Z"},"content_sha256":"379a6188bb55b2ef2771944fcefd9e7ef8fbafc65f1e36e51586924cbe579f5d","schema_version":"1.0","event_id":"sha256:379a6188bb55b2ef2771944fcefd9e7ef8fbafc65f1e36e51586924cbe579f5d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:QF4TRV3L3SYOXTW4XOBEMYDCJJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"SeGa builds semantic knowledge bases from requirement documents to guide unit test generation toward business logic bugs.","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chen Yang, Junjie Chen","submitted_at":"2026-04-26T03:06:16Z","abstract_excerpt":"Business logic bugs violate intended business semantics and are particularly prevalent in enterprise software. Yet most existing unit test generation techniques are code-centric, making such bugs difficult to expose. We present SeGa, a semantics-driven unit test generation technique for uncovering business logic bugs. SeGa constructs a semantic knowledge base from product requirement documents, represented as a set of functionality entries that group related requirements under a common business intent. Given a focal method, SeGa retrieves the relevant functionality entries and derives fine-gra"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"SeGa detects 22-25 more bugs than four state-of-the-art LLM-based techniques and improves precision by 26.9%-34.3%. Deployment across 6 production repositories further uncovers 16 previously unknown business logic bugs that were confirmed and fixed by developers.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The technique assumes that product requirement documents provide complete and accurate representations of intended business semantics that can be reliably grouped into functionality entries and translated into effective test scenarios without significant loss or misinterpretation.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"SeGa extracts business semantics from requirements to generate unit tests that detect 22-25 more real-world business logic bugs than prior LLM-based methods in industrial Go projects.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"SeGa builds semantic knowledge bases from requirement documents to guide unit test generation toward business logic bugs.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"8a3811d064f72e21f6fd909bf3e3c09fd63fbad10d6af62e23c1b2138c1628c1"},"source":{"id":"2604.23509","kind":"arxiv","version":2},"verdict":{"id":"35ff7066-e0df-4d74-86c7-24de03aed373","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-08T06:01:07.120053Z","strongest_claim":"SeGa detects 22-25 more bugs than four state-of-the-art LLM-based techniques and improves precision by 26.9%-34.3%. Deployment across 6 production repositories further uncovers 16 previously unknown business logic bugs that were confirmed and fixed by developers.","one_line_summary":"SeGa extracts business semantics from requirements to generate unit tests that detect 22-25 more real-world business logic bugs than prior LLM-based methods in industrial Go projects.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The technique assumes that product requirement documents provide complete and accurate representations of intended business semantics that can be reliably grouped into functionality entries and translated into effective test scenarios without significant loss or misinterpretation.","pith_extraction_headline":"SeGa builds semantic knowledge bases from requirement documents to guide unit test generation toward business logic bugs."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.23509/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-21T08:39:30.978785Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T23:04:11.092600Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"058ee030bdfbfddb2cdcfe606a327df64b7096f45bdc1a97cc43280277edce01"},"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":"35ff7066-e0df-4d74-86c7-24de03aed373"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-04T02:00:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0pxrFQTWeDJSfmHeiEEB/aBb1IBWI0H3/dB9sqXDP5webOsZcVAgQQ5WFTFai0zW9640m3M/0LIIilgqN5mcBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T19:26:47.826094Z"},"content_sha256":"8a01959166275c7b67e8b77a937da27b92ce85d8621cc576f710c743381a2fb4","schema_version":"1.0","event_id":"sha256:8a01959166275c7b67e8b77a937da27b92ce85d8621cc576f710c743381a2fb4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QF4TRV3L3SYOXTW4XOBEMYDCJJ/bundle.json","state_url":"https://pith.science/pith/QF4TRV3L3SYOXTW4XOBEMYDCJJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QF4TRV3L3SYOXTW4XOBEMYDCJJ/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-04T19:26:47Z","links":{"resolver":"https://pith.science/pith/QF4TRV3L3SYOXTW4XOBEMYDCJJ","bundle":"https://pith.science/pith/QF4TRV3L3SYOXTW4XOBEMYDCJJ/bundle.json","state":"https://pith.science/pith/QF4TRV3L3SYOXTW4XOBEMYDCJJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QF4TRV3L3SYOXTW4XOBEMYDCJJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:QF4TRV3L3SYOXTW4XOBEMYDCJJ","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":"7c9a94d30db7b6a95e161926ee29abc386b00842f14e1eae15cf8d10e3f28ad2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-04-26T03:06:16Z","title_canon_sha256":"989d9cdb6fb986bad14e358b2b37e4634166482b39b59c163b4c77d7e29d5d9f"},"schema_version":"1.0","source":{"id":"2604.23509","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.23509","created_at":"2026-08-04T02:00:15Z"},{"alias_kind":"arxiv_version","alias_value":"2604.23509v2","created_at":"2026-08-04T02:00:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.23509","created_at":"2026-08-04T02:00:15Z"},{"alias_kind":"pith_short_12","alias_value":"QF4TRV3L3SYO","created_at":"2026-08-04T02:00:15Z"},{"alias_kind":"pith_short_16","alias_value":"QF4TRV3L3SYOXTW4","created_at":"2026-08-04T02:00:15Z"},{"alias_kind":"pith_short_8","alias_value":"QF4TRV3L","created_at":"2026-08-04T02:00:15Z"}],"graph_snapshots":[{"event_id":"sha256:8a01959166275c7b67e8b77a937da27b92ce85d8621cc576f710c743381a2fb4","target":"graph","created_at":"2026-08-04T02:00:15Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"SeGa detects 22-25 more bugs than four state-of-the-art LLM-based techniques and improves precision by 26.9%-34.3%. Deployment across 6 production repositories further uncovers 16 previously unknown business logic bugs that were confirmed and fixed by developers."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The technique assumes that product requirement documents provide complete and accurate representations of intended business semantics that can be reliably grouped into functionality entries and translated into effective test scenarios without significant loss or misinterpretation."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"SeGa extracts business semantics from requirements to generate unit tests that detect 22-25 more real-world business logic bugs than prior LLM-based methods in industrial Go projects."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"SeGa builds semantic knowledge bases from requirement documents to guide unit test generation toward business logic bugs."}],"snapshot_sha256":"8a3811d064f72e21f6fd909bf3e3c09fd63fbad10d6af62e23c1b2138c1628c1"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-21T08:39:30.978785Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T23:04:11.092600Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2604.23509/integrity.json","findings":[],"snapshot_sha256":"058ee030bdfbfddb2cdcfe606a327df64b7096f45bdc1a97cc43280277edce01","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Business logic bugs violate intended business semantics and are particularly prevalent in enterprise software. Yet most existing unit test generation techniques are code-centric, making such bugs difficult to expose. We present SeGa, a semantics-driven unit test generation technique for uncovering business logic bugs. SeGa constructs a semantic knowledge base from product requirement documents, represented as a set of functionality entries that group related requirements under a common business intent. Given a focal method, SeGa retrieves the relevant functionality entries and derives fine-gra","authors_text":"Chen Yang, Junjie Chen","cross_cats":[],"headline":"SeGa builds semantic knowledge bases from requirement documents to guide unit test generation toward business logic bugs.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-04-26T03:06:16Z","title":"Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.23509","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-08T06:01:07.120053Z","id":"35ff7066-e0df-4d74-86c7-24de03aed373","model_set":{"reader":"grok-4.3"},"one_line_summary":"SeGa extracts business semantics from requirements to generate unit tests that detect 22-25 more real-world business logic bugs than prior LLM-based methods in industrial Go projects.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"SeGa builds semantic knowledge bases from requirement documents to guide unit test generation toward business logic bugs.","strongest_claim":"SeGa detects 22-25 more bugs than four state-of-the-art LLM-based techniques and improves precision by 26.9%-34.3%. Deployment across 6 production repositories further uncovers 16 previously unknown business logic bugs that were confirmed and fixed by developers.","weakest_assumption":"The technique assumes that product requirement documents provide complete and accurate representations of intended business semantics that can be reliably grouped into functionality entries and translated into effective test scenarios without significant loss or misinterpretation."}},"verdict_id":"35ff7066-e0df-4d74-86c7-24de03aed373"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:379a6188bb55b2ef2771944fcefd9e7ef8fbafc65f1e36e51586924cbe579f5d","target":"record","created_at":"2026-08-04T02:00:15Z","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":"7c9a94d30db7b6a95e161926ee29abc386b00842f14e1eae15cf8d10e3f28ad2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-04-26T03:06:16Z","title_canon_sha256":"989d9cdb6fb986bad14e358b2b37e4634166482b39b59c163b4c77d7e29d5d9f"},"schema_version":"1.0","source":{"id":"2604.23509","kind":"arxiv","version":2}},"canonical_sha256":"817938d76bdcb0ebcedcbb824660624a6548ebe699ada1214416cee14c6ccc3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"817938d76bdcb0ebcedcbb824660624a6548ebe699ada1214416cee14c6ccc3d","first_computed_at":"2026-08-04T02:00:15.944608Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-04T02:00:15.944608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pi2PJJcUiOKzigXTYWvyGCngpZ5GvXP6fL7VT54q0DjLBk87cO1Pcl5yzO05Dj9qs9C5uSXqbMfZ4ywNIn5rCA==","signature_status":"signed_v1","signed_at":"2026-08-04T02:00:15.946201Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.23509","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:379a6188bb55b2ef2771944fcefd9e7ef8fbafc65f1e36e51586924cbe579f5d","sha256:8a01959166275c7b67e8b77a937da27b92ce85d8621cc576f710c743381a2fb4"],"state_sha256":"7f72e00293fc1419bfc6fd5ea32104f89c705b5a37f323cc21566102407553e1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5SCJ0KC1245RIJp+xQGNoHNSXWiAcw4HNHeCMN3KMEw29WCwPG60zQ8l9Tz49kllDrFS1gpjzl7Bgt7LdKroAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T19:26:47.833773Z","bundle_sha256":"d47b45d82297c2ba9cfd0243141bcffd1d5a0b6ae268e6165377c8e4b81eded9"}}