55 citations · 114 across the 12 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SE2025★ 1 cited
Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis
Xueying Du, Kai Yu, Chong Wang +6
Static bug analyzers play a crucial role in ensuring software quality. However, existing analyzers for bug detection in large codebases often suffer from high false positive rates.…
cs.SE2025
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…