← back to paper

Review history

arxiv: 2608.05399 · 2 revisions

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny

1. 2026-08-10 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 6.0
   168583 ms 18964 in 19022 out 2026-08-10T04:26:21.480182+00:00
2. 2026-08-08 CONDITIONAL MODERATE v1.4.0-daily-deepseek-medium novelty 6.0
   127224 ms 18657 in 15890 out 2026-08-08T13:51:33.387117+00:00