related documents SLR: Path-sensitive analysis through infeasible-path detection and syntactic language refinement Conference Proceeding
