1 citations · 1 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
MaCTG: Multi-Agent Collaborative Thought Graph for Automatic Programming
Zixiao Zhao, Jing Sun, Zhe Hou +4
With the rapid advancement of Large Language Models (LLMs), LLM-based approaches have demonstrated strong problem-solving capabilities across various domains. However, in automatic…
cs.SE2020★ 1 cited
Measuring the Quality of B Abstract Machines with ISO/IEC 25010
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
The B method has facilitated the development of software by specifying the design of software as abstract machines and formally verifying the correctness of the abstract machines.…