Prosecutor: Bayesian Counterfactual Fault Localization

ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2026