Dynamic slicing
These algorithms have all been static
- They work for all possible inputs
There is also work in dynamic slicing, trying to find slices that satisfy some execution streams over sets of inputs
- Korel and Laski characterize dynamic slices in terms of a trajectory that captures the execution history of a program in terms of a sequence of statements and control predicates