5 citations · 9 across the 6 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.DB2025
Proving Cypher Query Equivalence
Lei Tang, Wensheng Dou, Yingying Zheng +4
Graph database systems store graph data as nodes and relationships, and utilize graph query languages (e.g., Cypher) for efficiently querying graph data. Proving the equivalence of…
cs.SE2025★ 1 cited
PATCH: Empowering Large Language Model with Programmer-Intent Guidance and Collaborative-Behavior Simulation for Automatic Bug Fixing
Yuwei Zhang, Zhi Jin, Ying Xing +5
Bug fixing holds significant importance in software development and maintenance. Recent research has made substantial strides in exploring the potential of large language models (L…
cs.SE2025★ 2 cited
CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge
Yuwei Zhang, Qingyuan Lu, Kai Liu +6
Unit testing plays a pivotal role in the software development lifecycle, as it ensures code quality. However, writing high-quality unit tests remains a time-consuming task for deve…