SemLoc turns LLM program reasoning into runtime-checkable constraints, boosting Python fault localization Top-1 accuracy from 6.4% to 42.8% over spectrum baselines.
document fetched 2026-10-29 03:02