Reps et al.
Reps and colleagues have a number of results for handling contextual information for slices
These algorithms generally work to respect the call-return structure of the original program
- This information is usually captured as summary edges for call nodes