13 citations · 14 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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…
cs.SE2024★ 13 cited
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
Huijia Sun, Christopher M. Poskitt, Yang Sun +2
The rapid progress of autonomous vehicles~(AVs) has brought the prospect of a driverless future closer than ever. Recent fatalities, however, have emphasized the importance of safe…