工具 发现我们研究小组开发的工具 LLM LLMC/C++JavaAndroidSMT AutoChecker AutoChecker A tool that codes checker automatically with rule description and test case set input View Repository SynTeR SynTeR An LLM-based Approach to Repair Obsolete Test Cases caused by Syntactic BCs View Repository