← back to paper
arxiv: 2604.23509 · 2 revisions
Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation