1 citations · 1 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
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…
cs.SE2026★ 1 cited
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…