1 citations · 3 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging
Yunrui Pei, Hongshu Wang, Wenjie Zhang +3
Determining the dynamic data dependency of a step that reads a variable is challenging. It typically requires either exhaustive instrumentation, which becomes prohibitively exp…
cs.SE2024★ 1 cited
Towards Large Language Model Aided Program Refinement
Yufan Cai, Zhe Hou, Xiaokun Luan +4
Program refinement involves correctness-preserving transformations from formal high-level specification statements into executable programs. Traditional verification tool support f…