activity
20242026
most citedUnderstanding and Characterizing Mock Assertions in Unit Tests

3 citations · 7 across the 25 of their papers we have counts for

collaborators
Showing 2025Show all

10 papers · 1 filter

cs.SE2025

Multi-Agent Systems for Dataset Adaptation in Software Engineering: Capabilities, Limitations, and Future Directions

Jingyi Chen, Xiaoyan Guo, Songqiang Chen +2

Automating the adaptation of software engineering (SE) research artifacts across datasets is essential for scalability and reproducibility, yet it remains largely unstudied. Recent…

cs.SE2025

Optimization-Aware Test Generation for Deep Learning Compilers

Qingchao Shen, Zan Wang, Haoyang Ma +5

Deep Learning (DL) compilers have been widely utilized to optimize DL models for efficient deployment across various hardware. Due to their vital role in the DL ecosystem, ensuring…

cs.SE2025

LSPFuzz: Hunting Bugs in Language Servers

Hengcheng Zhu, Songqiang Chen, Valerio Terragni +4

The Language Server Protocol (LSP) has revolutionized the integration of code intelligence in modern software development. There are approximately 300 LSP server implementations fo…

cs.SE2025

Understanding and Bridging the Planner-Coder Gap: A Systematic Study on the Robustness of Multi-Agent Systems for Code Generation

Zongyi Lyu, Songqiang Chen, Zhenlan Ji +5

Multi-agent systems (MASs) have emerged as a promising paradigm for automated code generation, demonstrating impressive performance on established benchmarks. Despite their prosper…

cs.SE2025

Can Emulating Semantic Translation Help LLMs with Code Translation? A Study Based on Pseudocode

Songqiang Chen, Congying Xu, Jingyi Chen +3

Although large language models (LLMs) show promising potential in code translation, they still struggle to generate accurate translations using the commonly adopted direct code-to-…

cs.AI2025

Infi-MMR: Curriculum-based Unlocking Multimodal Reasoning via Phased Reinforcement Learning in Multimodal Small Language Models

Zeyu Liu, Yuhang Liu, Guanghao Zhu +9

Recent advancements in large language models (LLMs) have demonstrated substantial progress in reasoning capabilities, such as DeepSeek-R1, which leverages rule-based reinforcement…

cs.SE2025★ 1 cited

An Empirical Study of Bugs in Data Visualization Libraries

Weiqi Lu, Yongqiang Tian, Xiaohan Zhong +4

Data visualization (DataViz) libraries play a crucial role in presentation, data analysis, and application development, underscoring the importance of their accuracy in transformin…

cs.CR2025

IP Leakage Attacks Targeting LLM-Based Multi-Agent Systems

Liwen Wang, Wenxuan Wang, Shuai Wang +5

The rapid advancement of Large Language Models (LLMs) has led to the emergence of Multi-Agent Systems (MAS) to perform complex tasks through collaboration. However, the intricate n…

cs.SE2025★ 3 cited

Understanding and Characterizing Mock Assertions in Unit Tests

Hengcheng Zhu, Valerio Terragni, Lili Wei +3

Mock assertions provide developers with a powerful means to validate program behaviors that are unobservable to test assertions. Despite their significance, they are rarely conside…

cs.PL2025

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers

Haoyang Ma, Alastair F. Donaldson, Qingchao Shen +3

By July 2025, smart contracts collectively manage roughly $120 billion in assets. With Solidity remaining the dominant language for smart contract development, the correctness of S…