collaborators

1 paper

cs.SE2026

LLM-Based Invariant Testing for Software Functional Bugs

Ruogu Yang, Yifeng He, Yundi Xu +2

Manually writing unit tests to uncover functional bugs in software libraries is not only time-consuming but also requires a deep understanding of the intended semantics of the APIs…