CounterFault: Value-Based Fault Localization by Modeling and Predicting Counterfactual Outcomes | IEEE Conference Publication | IEEE Xplore