We present a new learning-based approach for accel-erating disjunctive static bug-finders.
Industrial static bug-finders usually perform disjunctive analysis, differentiating program …

The existence of infeasible paths in a program reduces the coverage of test cases and
causes a waste of valuable testing resources. Detecting infeasible paths allows for focusing …