2025
LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs
ACL 2025long
Detecting tricky bugs in plausible programs, those that pass existing test suites yet still contain bugs, remains a significant challenge in software testing. To address this problem, we propose TrickCatcher, an LLM-powered approach to generating test cases for uncovering bugs in plausible programs.…