TY  - RPRT
TI  - LLM-Based Invariant Testing for Software Functional Bugs
AU  - Ruogu Yang
AU  - Yifeng He
AU  - Yundi Xu
AU  - Yuqing Wei
AU  - Hao Chen
PY  - 2026
UR  - https://arxiv.org/abs/2607.18711
ID  - 2607.18711
ER  -