A Framework for Property-driven Program Slicing