Pith Number

pith:QF4TRV3L

pith:2026:QF4TRV3L3SYOXTW4XOBEMYDCJJ

not attested not anchored not stored refs pending

Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation

Chen Yang, Junjie Chen

SeGa builds semantic knowledge bases from requirement documents to guide unit test generation toward business logic bugs.

arxiv:2604.23509 v2 · 2026-04-26 · cs.SE

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{QF4TRV3L3SYOXTW4XOBEMYDCJJ}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest 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.

C2weakest 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.

C3one 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.

Receipt and verification

First computed	2026-08-04T02:00:15.944608Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

817938d76bdcb0ebcedcbb824660624a6548ebe699ada1214416cee14c6ccc3d

Aliases

arxiv: 2604.23509 · arxiv_version: 2604.23509v2 · doi: 10.48550/arxiv.2604.23509 · pith_short_12: QF4TRV3L3SYO · pith_short_16: QF4TRV3L3SYOXTW4 · pith_short_8: QF4TRV3L

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/QF4TRV3L3SYOXTW4XOBEMYDCJJ \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 817938d76bdcb0ebcedcbb824660624a6548ebe699ada1214416cee14c6ccc3d

Canonical record JSON

{
  "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
  }
}