A method of Debugging a program that keeps only the relevant parts of the program relating to a certain bug.
Static Analysis
What remains in the slice is determined by a predetermined criteria:
- Programs control flow
- Data flow
- Def-use chains
Dynamic Analysis
Executing program and collecting data relevant to designated slice.