22 citations · 39 across the 9 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.SE2026
A Comprehensive Study of Implementation Bugs in Multi-modal Agents
Suwan Li, Lei Bu, Shangqing Liu +5
Multi-Modal Agents (M-agents), empowered by Large Language Models (LLMs), excel in various complex, open-world scenarios such as autonomous driving and robotics. However, their uni…
cs.SE2026
Same Signal, Different Semantics: A Cross-Framework Behavioral Analysis of Software Engineering Agents
Wei Ma, Zhi Chen, Jingxu Gu +3
Behavioral studies of LLM-based software engineering agents extract operational rules about which trajectory shapes correlate with higher resolution rates: that a test step follows…
cs.SE2026
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
Lezhi Ma, Shangqing Liu, Yi Li +4
Program verification is a formal technique to rigorously ensure the correctness and fault-freeness of software systems. However, constructing comprehensive interprocedural specific…