From the 1 of 56 papers with an AI index.
16 citations
- Shanghai Jiao Tong UniversityCN6 papers
- Chinese Academy of SciencesCN4 papers
- Nanyang Technological UniversitySG4 papers
- Instituto de Ciencia de Materiales de MadridES3 papers
- Peking UniversityCN3 papers
- Zhejiang UniversityCN3 papers
- Aerospace Information Research InstituteCN2 papers
- Beijing Academy of Artificial IntelligenceCN2 papers
- Bohai UniversityCN2 papers
- Chinese University of Hong KongHK2 papers
- Chinese University of Hong Kong, ShenzhenCN2 papers
- Harbin Institute of TechnologyCN2 papers
5 papers · 1 filter
MuMuTestUp: Mutation-based Multi-Agent Test Case Update
Dawei Tian, Jiakun Liu, Yun Peng +4
Modern software systems evolve rapidly under CI/CD practices, where tests are critical for quality. However, substantial code changes often render existing test cases obsolete, cau…
DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics
Han Liu, Jian Zhang, Cen Zhang +7
Static analysis tools have evolved over time to assist in detecting bugs. However, the excessive false warnings can impede developers' productivity and confidence in the tools. Pre…
PromCopilot: Simplifying Prometheus Metric Querying in Cloud Native Online Service Systems via Large Language Models
Chenxi Zhang, Bicheng Zhang, Dingyu Yang +6
With the increasing complexity of modern online service systems, understanding the state and behavior of the systems is essential for ensuring their reliability and stability. Ther…
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Zhongyi Wang, Tengjie Lin, Mingshuai Chen +9
Fully automated verification of large-scale software and hardware systems is arguably the holy grail of formal methods. Large language models (LLMs) have recently demonstrated thei…
Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
Zhi Ma, Cheng Wen, Zhexin Su +4
Automating the translation of natural language (NL) software requirements into formal specifications remains a critical challenge in scaling formal verification practices to indust…