Prioritized static slicing and its application to fault localization

•We build a model PrioSlice that prioritizes statements in a static slice.•Not all statements in a static slice are equally likely to propagate effects.•Some data dependencies are more likely to occur than others.•Control dependencies are less likely than data dependencies to propagate effects.•Prio...

Full description