The Slice Navigator: Focused Debugging with Interactive Dynamic Slicing | IEEE Conference Publication | IEEE Xplore