Lazy counterfactual symbolic execution.

William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac

Browse the full PLDI paper archive.