Recent advances in large language models (LLMs) for code generation have given rise to vibe coding, a programming practice in which developers interact with LLMs through unstructured natural language and primarily validate implementations by inspecting overall execution outputs. However, the inherent ambiguity and inco...
Rui-Rui He, Han-Qing Lu, Le-Zhi Ma et al.· Proceedings of the 41st IEEE...· 0 citations
Formal specifications are essential for deductive program verification, providing semantic abstractions for compositional verification of complex software. However, manually constructing specifications is labor-intensive, motivating automated synthesis. Despite recent advances in large language models (LLMs), existing...
Le-Zhi Ma, Han Wang, Shang-Qing Liu et al.· 0 citations
This work provides a comprehensive reference and guideline for classification, prevention and fix of M-agent bugs, and developed a comprehensive taxonomy that classifies bugs by global symptoms, functionality component-level symptoms, and root causes.
Suwan Li, Lei Bu, Shangqing Liu et al.· arXiv.org· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
