7 papers
SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference
Cuong Chi Le, Minh V. T Pham, Tung Vu Duy +4
Specifications are vital for ensuring program correctness, yet writing them manually remains challenging and time-intensive. Recent large language model (LLM)-based methods have sh…
TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models
Cuong Chi Le, Cuong Duc Van, Tung Duy Vu +4
While recent advances in large language models (LLMs) have shown promise in automating test generation for regression testing, they often suffer from limited reasoning about progra…
SWE-Synth: Synthesizing Verifiable Bug-Fix Data to Enable Large Language Models in Resolving Real-World Bugs
Minh V. T. Pham, Huy N. Phan, Hoang N. Phan +3
Large language models (LLMs) are transforming automated program repair (APR) through agent-based approaches that localize bugs, generate patches, and verify fixes. However, the lac…
When Names Disappear: Revealing What LLMs Actually Understand About Code
Cuong Chi Le, Minh V. T. Pham, Cuong Duc Van +3
Large Language Models (LLMs) achieve strong results on code tasks, but how they derive program meaning remains unclear. We argue that code communicates through two channels: struct…
HyperAgent: Generalist Software Engineering Agents to Solve Coding Tasks at Scale
Huy Nhat Phan, Tien N. Nguyen, Phong X. Nguyen +1
Large Language Models (LLMs) have revolutionized software engineering (SE), showcasing remarkable proficiency in various coding tasks. Despite recent advancements that have enabled…
VisualCoder: Guiding Large Language Models in Code Execution with Fine-grained Multimodal Chain-of-Thought Reasoning
Cuong Chi Le, Hoang-Chau Truong-Vinh, Huy Nhat Phan +3
Predicting program behavior and reasoning about code execution remain significant challenges in software engineering, particularly for large language models (LLMs) designed for cod…