Lazy counterfactual symbolic execution. - William T. Hallahan; Anton Xue; Maxwell Troy Bland; Ranjit Jhala; Ruzica Piskac (PLDI, 2019)