Prosecutor: Bayesian Counterfactual Fault Localization

In Submission, 2026